Fix erroneous whitespace guideline

diff --git a/CONVENTIONS.md b/CONVENTIONS.md
index ea5e40ee6176757df4ee275c0d2ac89e33566a5e..10d9c86449b43cb4f2a34a202db057f551bc5f91 100644 (file)
--- a/CONVENTIONS.md
+++ b/CONVENTIONS.md
@@ -123,8 +123,7 @@ GIT_EXTERN(int) git_foo_id(
    int b);
 ```
 
-Public headers are indented with spaces, three to a tab.  Internal code is
-indented with tabs; set your editor's tab width to 3 for best effect.
+Indentation is done with tabs; set your editor's tab width to 3 for best effect.
 
 
 ## Documentation