Ms2ger 8f5f6a1aa1 tools: update lint.py to work with pip 10+ some more (#2273) ... main() and InstallRequirement were also removed from the public API.		2019-08-08 14:11:34 -04:00
..
generation	Skip hidden files in generator.py (#2183)	2019-05-29 10:58:53 -04:00
lint	tools: update lint.py to work with pip 10+ some more (#2273)	2019-08-08 14:11:34 -04:00
misc	Remove links to hg.ecmascript.org (non-license content)	2015-07-17 17:43:27 +02: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