Eric Vergnaud 05f422268a drop unused script		2021-01-24 18:08:34 +08:00
..
scripts	drop unused script	2021-01-24 18:08:34 +08:00
workflows	reinstate all builds	2021-01-24 17:59:35 +08:00
ISSUE_TEMPLATE.md	tweak issue template	2017-03-14 10:14:56 -07:00
PULL_REQUEST_TEMPLATE.md	Use xml comments instead of [cut][/cut] for section clearing after rendering in TEMPLATE files.	2017-03-12 00:34:50 +03:00