diff options
author | ng0 <ng0@n0.is> | 2019-04-02 05:24:10 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-02 05:24:10 +0000 |
commit | aa0e773ad90171d0dd0ab54aaf4543e2c1a30cfc (patch) | |
tree | d36c22b7bec1c2ac464068211b16899b1cd8d0b5 /pre-commit | |
parent | 0fa0e0c5365fcbf6c5a0a826e9874b67251314c7 (diff) |
license
Diffstat (limited to 'pre-commit')
-rwxr-xr-x | pre-commit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pre-commit b/pre-commit index 46a7c2a4b..c67fcaf0c 100755 --- 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/ |