| .. |
|
annotate_ifdef_directives
|
2f683465d4
Bump copyright date to 2019
|
5 rokov pred |
|
checkIncludes.py
|
fae29f7b42
Make the topological-sort output off by default
|
6 rokov pred |
|
checkLogs.pl
|
9230bc7c65
Clean the contrib directory with torch and machete.
|
10 rokov pred |
|
checkOptionDocs.pl.in
|
81cb0afb2b
Start splitting src/or
|
6 rokov pred |
|
checkSpace.pl
|
67dc83fa75
New check-spaces rule: Our C files may not have duplicate names.
|
6 rokov pred |
|
check_config_macros.pl
|
2e1ac274ab
Script to detect unused autoconf outputs
|
10 rokov pred |
|
findMergedChanges.pl
|
9230bc7c65
Clean the contrib directory with torch and machete.
|
10 rokov pred |
|
format_changelog.py
|
aaef95ada5
format_changelog: treat "issue NNNN" as a track ticket
|
5 rokov pred |
|
git-merge-forward.sh
|
9256b02cc8
maint: Remove 0.3.3 branch from git scripts
|
5 rokov pred |
|
git-pull-all.sh
|
9256b02cc8
maint: Remove 0.3.3 branch from git scripts
|
5 rokov pred |
|
git-push-all.sh
|
9256b02cc8
maint: Remove 0.3.3 branch from git scripts
|
5 rokov pred |
|
lintChanges.py
|
7e1f893460
lintChanges.py: Two python re usage fixes
|
5 rokov pred |
|
locatemissingdoxygen.py
|
560450f2fb
helper script to highlight undocumented members
|
8 rokov pred |
|
pre-commit.git-hook
|
b3b737b875
Update pre-commit.git-hook for ticket 29553
|
5 rokov pred |
|
pre-push.git-hook
|
9c90bddc42
Mention --no-verify in error message
|
6 rokov pred |
|
rectify_include_paths.py
|
0dab29ce10
Run rectify_include_paths.py
|
6 rokov pred |
|
redox.py
|
2f683465d4
Bump copyright date to 2019
|
5 rokov pred |
|
run_calltool.sh
|
6aef0ce94e
Fix shellcheck issue SC2217 in run_calltool.sh
|
6 rokov pred |
|
sortChanges.py
|
2f683465d4
Bump copyright date to 2019
|
5 rokov pred |
|
updateCopyright.pl
|
9473a386c4
Update copyright script for 2019
|
5 rokov pred |
|
updateRustDependencies.sh
|
ba2a9988cc
Fix SC2230 warning
|
6 rokov pred |
|
update_versions.py
|
b16d6453ad
Rewrite updateVersions script in Python, add datestamp functionality.
|
6 rokov pred |
David Goulet
9256b02cc8
maint: Remove 0.3.3 branch from git scripts