Merge branch 'maint-0.3.1' into maint-0.3.2
[tor.git] / scripts / maint / 
tree7020d689062fa5c200eea010828c2c591df82967
drwxr-xr-x   ..
-rwxr-xr-x 2487 annotate_ifdef_directives
-rwxr-xr-x 1180 checkLogs.pl
-rw-r--r-- 1707 checkOptionDocs.pl.in
-rwxr-xr-x 7215 checkSpace.pl
-rwxr-xr-x 271 check_config_macros.pl
-rw-r--r-- 14952 fallback.blacklist
-rw-r--r-- 48020 fallback.whitelist
-rwxr-xr-x 1908 findMergedChanges.pl
-rwxr-xr-x 15558 format_changelog.py
-rwxr-xr-x 3394 lintChanges.py
-rwxr-xr-x 1940 locatemissingdoxygen.py
-rwxr-xr-x 7339 redox.py
-rwxr-xr-x 764 run_calltool.sh
-rwxr-xr-x 2842 sortChanges.py
-rwxr-xr-x 213 updateCopyright.pl
-rwxr-xr-x 90797 updateFallbackDirs.py
-rwxr-xr-x 1418 updateVersions.pl.in