rl1987 9c90bddc42 Mention --no-verify in error message

2018-11-29 11:10:48 +02:00

..

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.git-hook

Mention --no-verify in error message

2018-11-29 11:10:48 +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