Adrian Heine 271dad7c0a Read existing generated files with correct encoding ... Otherwise we cannot parse the comments		2020-05-13 10:58:07 -04:00
..
generation	Read existing generated files with correct encoding	2020-05-13 10:58:07 -04:00
lint	add lint check for newline at end of file	2019-11-10 20:18:53 -08:00
misc	Add the language tag mappings python script	2020-04-09 09:20:55 -04:00
packaging	Update header regexp to prevent year ranges	2019-07-15 14:03:25 -04:00
scripts	Use .. for git diffs in the CI routines (#2140)	2019-04-25 17:56:55 -04:00
CoverageAnalyzer.py	Unify indentation and add .editorconfig (#973)	2017-04-13 10:37:32 -04:00
copy_tests.sh	Add a little helper for convenience in testing changes (#1260)	2017-10-04 11:46:21 -04:00