diff options
| -rwxr-xr-x | src/tool/indent.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tool/indent.sh b/src/tool/indent.sh index 5550362..d71f224 100755 --- a/src/tool/indent.sh +++ b/src/tool/indent.sh @@ -3,6 +3,6 @@ # You should use this on any file you edit before # committing to git. indent -nbad -bap -sc -bl -blf -bli0 -cli4 -cbi0 -di5 \ --nbc -bls -ip2 -nut -ts4 -bap -i4 -sob -npsl gui $* +-nbc -bls -ip2 -nut -ts4 -bap -i4 -sob -npsl $* |