aboutsummaryrefslogtreecommitdiff
path: root/scripts/maint/rectify_include_paths.py
AgeCommit message (Expand)Author
2020-04-03scripts: Ignore editor temporary filesteor
2020-02-16Stop assuming that /usr/bin/python existsPanagiotis Vasilopoulos
2019-12-12python: Add __future__ imports for python 3 compatibilityteor
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