aboutsummaryrefslogtreecommitdiff
path: root/scripts/maint/rectify_include_paths.py
AgeCommit message (Expand)Author
2019-05-20rectify_include_paths: warn instead of aborting on duplicate headersNick Mathewson
2019-03-27Stop assuming that /usr/bin/python3 existsteor
2018-06-20Run rectify_include_paths.pyNick Mathewson
2018-06-20Script to replace include paths with full paths under src/Nick Mathewson