aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2011-08-29 10:25:18 +0000
committerChristian Grothoff <christian@grothoff.org>2011-08-29 10:25:18 +0000
commitfe4798e8542441278c364c469384caa7635f36c5 (patch)
tree915ff8c1b76eea9f75bd8c0ebdb8ee38a837dd2b
parent8f4d186f4619c9b17ef4fb2e83398dd18c3ae24c (diff)
docu
-rw-r--r--HACKING5
1 files changed, 4 insertions, 1 deletions
diff --git a/HACKING b/HACKING
index ecd9e6adb1..82de084c9a 100644
--- a/HACKING
+++ b/HACKING
@@ -65,7 +65,7 @@ src/ directories:
Coding style:
-- GNU guidelines apply
+- GNU guidelines generally apply
- declare only one variable per line, so
int i;
@@ -74,6 +74,9 @@ Coding style:
instead of
int i,j;
+- Indentation should be done using the 'pre-commit' script in the top-level
+ directory using the patched (!) GNU indent. See also the posting at
+ https://gnunet.org/gnunetindentation
Build-system: