license

diff --git a/pre-commit b/pre-commit
index 46a7c2a4b19e397553570bf6d6af69d416a4f6b0..c67fcaf0c65393ccdb385e786147fe28a240a1ed 100755 (executable)
--- a/pre-commit
+++ b/pre-commit
@@ -2,6 +2,8 @@
 # Run this script to indent the GNUnet code.  When run without arguments,
 # it indents the ENTIRE src/ tree.  Run with 'src/XXX' to indent the
 # src/XXX directory.
+#
+# This script is in the public domain.
 if test $# = 0
 then
  PATHS=src/