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

copy_tests.sh

Add a little helper for convenience in testing changes (#1260)

2017-10-04 11:46:21 -04:00

CoverageAnalyzer.py

Unify indentation and add .editorconfig (#973)

2017-04-13 10:37:32 -04:00