| .. |
|
practracker
|
Merge remote-tracking branch 'tor-github/pr/1308'
|
2019-09-26 14:36:37 -04:00 |
|
add_c_file.py
|
Add a "typed_var" abstraction to implement lvalue access in C.
|
2019-06-24 17:50:43 -04:00 |
|
annotate_ifdef_directives.py
|
annotate_ifdef_directives: test edge-case of 80-char line
|
2019-09-27 21:04:22 -04:00 |
|
check_config_macros.pl
|
Script to detect unused autoconf outputs
|
2014-05-07 03:56:51 -04:00 |
|
checkIncludes.py
|
Update pre-commit hook to find checkIncludes in its new location
|
2019-08-05 14:12:39 -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 |
|
checkShellScripts.sh
|
scripts: Make checkShellScripts.sh error exit if it can't find src
|
2019-09-10 12:24:08 +10:00 |
|
checkSpace.pl
|
checkSpace.pl: Allow 'bool' before a space and an open-paren
|
2019-06-24 15:11:57 -04:00 |
|
findMergedChanges.pl
|
Clean the contrib directory with torch and machete.
|
2014-04-28 11:34:53 -04:00 |
|
format_changelog.py
|
format_changelog: treat "issue NNNN" as a track ticket
|
2019-01-18 10:15:02 -05:00 |
|
lintChanges.py
|
lintChanges.py: Two python re usage fixes
|
2019-01-17 08:46:06 -05:00 |
|
locatemissingdoxygen.py
|
helper script to highlight undocumented members
|
2016-03-26 10:31:59 -04:00 |
|
rectify_include_paths.py
|
rectify_include_paths: warn instead of aborting on duplicate headers
|
2019-05-20 11:52:45 -04:00 |
|
redox.py
|
Bump copyright date to 2019
|
2019-01-16 12:33:22 -05:00 |
|
run_calltool.sh
|
Fix shellcheck issue SC2217 in run_calltool.sh
|
2018-10-29 11:37:16 +02:00 |
|
sortChanges.py
|
Bump copyright date to 2019
|
2019-01-16 12:33:22 -05:00 |
|
update_versions.py
|
Rewrite updateVersions script in Python, add datestamp functionality.
|
2018-11-24 20:44:37 -05:00 |
|
updateCopyright.pl
|
updateCopyright: look at the current year.
|
2019-05-20 12:02:20 -04:00 |
|
updateRustDependencies.sh
|
Fix SC2230 warning
|
2018-11-20 16:57:57 +02:00 |
