From fe4798e8542441278c364c469384caa7635f36c5 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 29 Aug 2011 10:25:18 +0000
Subject: [PATCH] docu

---
 HACKING | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/HACKING b/HACKING
index ecd9e6adb..82de084c9 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:
-- 
2.25.1