rl1987 d47e7863bd Depending on script mode, either use 'whitelist' or 'fallback list' преди 6 години
..
annotate_ifdef_directives 40ce9819dd update script to use /* */ comments преди 8 години
checkIncludes.py fae29f7b42 Make the topological-sort output off by default преди 7 години
checkLogs.pl 9230bc7c65 Clean the contrib directory with torch and machete. преди 11 години
checkOptionDocs.pl.in 81cb0afb2b Start splitting src/or преди 7 години
checkSpace.pl 67dc83fa75 New check-spaces rule: Our C files may not have duplicate names. преди 7 години
check_config_macros.pl 2e1ac274ab Script to detect unused autoconf outputs преди 11 години
fallback.whitelist 91be6a77e9 Merge remote-tracking branch 'teor/ticket24838' преди 6 години
findMergedChanges.pl 9230bc7c65 Clean the contrib directory with torch and machete. преди 11 години
format_changelog.py fb0019daf9 Update copyrights to 2018. преди 7 години
generateFallbackDirLine.py 2ae33e486e Revise the generateFallbackDirLine.py script to use descriptors преди 7 години
lintChanges.py f46cdb3ff8 lintchanges: Allow 'fixes bugs a, b, and c' преди 8 години
locatemissingdoxygen.py 560450f2fb helper script to highlight undocumented members преди 9 години
lookupFallbackDirContact.py e244738bbd Add fallback directory mirror helper scripts преди 7 години
pre-push.git-hook 9c90bddc42 Mention --no-verify in error message преди 7 години
rectify_include_paths.py 0dab29ce10 Run rectify_include_paths.py преди 7 години
redox.py fb0019daf9 Update copyrights to 2018. преди 7 години
run_calltool.sh 6aef0ce94e Fix shellcheck issue SC2217 in run_calltool.sh преди 7 години
sortChanges.py fb0019daf9 Update copyrights to 2018. преди 7 години
updateCopyright.pl fb0019daf9 Update copyrights to 2018. преди 7 години
updateFallbackDirs.py d47e7863bd Depending on script mode, either use 'whitelist' or 'fallback list' преди 6 години
updateRustDependencies.sh ba2a9988cc Fix SC2230 warning преди 7 години
update_versions.py b16d6453ad Rewrite updateVersions script in Python, add datestamp functionality. преди 7 години