Merge branch 'ticket32487_squashed' into ticket32487_squashed_and_merged
[tor.git] / scripts / maint / 
tree5eb9b5e487479dd0887dcaf890aae5a96e6a9574
drwxr-xr-x   ..
-rwxr-xr-x 7357 add_c_file.py
-rwxr-xr-x 9876 annotate_ifdef_directives.py
-rwxr-xr-x 629 checkIncludes.py
-rwxr-xr-x 1180 checkLogs.pl
-rw-r--r-- 1708 checkOptionDocs.pl.in
-rwxr-xr-x 1797 checkShellScripts.sh
-rwxr-xr-x 8319 checkSpace.pl
-rwxr-xr-x 872 checkSpaceTest.sh
-rwxr-xr-x 271 check_config_macros.pl
drwxr-xr-x - checkspace_tests
-rwxr-xr-x 1908 findMergedChanges.pl
-rwxr-xr-x 15777 format_changelog.py
-rwxr-xr-x 6341 lintChanges.py
-rwxr-xr-x 2101 locatemissingdoxygen.py
drwxr-xr-x - practracker
-rwxr-xr-x 2035 rectify_include_paths.py
-rwxr-xr-x 7499 redox.py
-rwxr-xr-x 8025 rename_c_identifier.py
-rwxr-xr-x 767 run_calltool.sh
-rwxr-xr-x 3026 sortChanges.py
-rwxr-xr-x 242 updateCopyright.pl
-rwxr-xr-x 1419 updateRustDependencies.sh
-rwxr-xr-x 4069 update_versions.py