diff --git a/tools/tidyHeaders.sh b/tools/tidyHeaders.sh new file mode 100755 index 0000000..08e9114 --- /dev/null +++ b/tools/tidyHeaders.sh @@ -0,0 +1,125 @@ +#!/usr/bin/php + +