diff options
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 @@ | |||
| 2 | # Run this script to indent the GNUnet code. When run without arguments, | 2 | # Run this script to indent the GNUnet code. When run without arguments, |
| 3 | # it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the | 3 | # it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the |
| 4 | # src/XXX directory. | 4 | # src/XXX directory. |
| 5 | # | ||
| 6 | # This script is in the public domain. | ||
| 5 | if test $# = 0 | 7 | if test $# = 0 |
| 6 | then | 8 | then |
| 7 | PATHS=src/ | 9 | PATHS=src/ |