.. |
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
|
Add pre-push git hook to prevent fixup and squash commits from ending up in master
|
2018-11-20 15:40:52 +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 |