| .. |
|
annotate_ifdef_directives
|
update script to use /* */ comments
|
2017-09-15 16:11:48 -04:00 |
|
check_config_macros.pl
|
Script to detect unused autoconf outputs
|
2014-05-07 03:56:51 -04:00 |
|
checkIncludes.py
|
Set the file encoding in checkIncludes.py with Python3
|
2018-08-28 16:25:54 -04:00 |
|
checkLogs.pl
|
Clean the contrib directory with torch and machete.
|
2014-04-28 11:34:53 -04:00 |
|
checkOptionDocs.pl.in
|
Start splitting src/or
|
2018-07-05 17:15:50 -04:00 |
|
checkSpace.pl
|
New check-spaces rule: Our C files may not have duplicate names.
|
2018-06-18 16:17:11 -04:00 |
|
fallback.whitelist
|
Fix everything that previously referred to src/or
|
2018-07-05 17:15:50 -04:00 |
|
findMergedChanges.pl
|
Clean the contrib directory with torch and machete.
|
2014-04-28 11:34:53 -04:00 |
|
format_changelog.py
|
Update copyrights to 2018.
|
2018-06-20 08:13:28 -04:00 |
|
generateFallbackDirLine.py
|
Revise the generateFallbackDirLine.py script to use descriptors
|
2018-01-05 13:28:01 +11:00 |
|
lintChanges.py
|
lintchanges: Allow 'fixes bugs a, b, and c'
|
2017-11-05 14:41:39 -05:00 |
|
locatemissingdoxygen.py
|
helper script to highlight undocumented members
|
2016-03-26 10:31:59 -04:00 |
|
lookupFallbackDirContact.py
|
Add fallback directory mirror helper scripts
|
2018-01-05 13:27:55 +11:00 |
|
pre-push
|
Also disallow fixup/squash commits in maint-* and release-*
|
2018-11-20 16:37:30 +02:00 |
|
rectify_include_paths.py
|
Run rectify_include_paths.py
|
2018-06-20 09:35:05 -04:00 |
|
redox.py
|
Update copyrights to 2018.
|
2018-06-20 08:13:28 -04:00 |
|
run_calltool.sh
|
Fix shellcheck issue SC2217 in run_calltool.sh
|
2018-10-29 11:37:16 +02:00 |
|
sortChanges.py
|
Update copyrights to 2018.
|
2018-06-20 08:13:28 -04:00 |
|
updateCopyright.pl
|
Update copyrights to 2018.
|
2018-06-20 08:13:28 -04:00 |
|
updateFallbackDirs.py
|
Remove small piece of unneeded documentation
|
2018-07-08 07:05:31 +10:00 |
|
updateRustDependencies.sh
|
maint: Add script for vendoring/updating Rust dependencies.
|
2018-03-21 17:04:28 -04:00 |
|
updateVersions.pl.in
|
Revive updateVersions.pl with make update-versions.
|
2015-03-14 13:00:06 -04:00 |
