Tim van der Meij 4269148d3d Upgrade Node.js to version 16 in the CI workflow ... Version 14 that we used before is now in maintenance mode, so we should upgrade to the most recent LTS version. Moreover, use the most recent `setup-node` workflow version and syntax; see https://github.com/actions/setup-node#usage.		2021-12-11 15:50:23 +01:00
..
workflows	Upgrade Node.js to version 16 in the CI workflow	2021-12-11 15:50:23 +01:00
CONTRIBUTING.md	Update links from IRC to Matrix.	2020-02-27 16:26:17 -08:00
ISSUE_TEMPLATE.md	Attempt to clarify the meaning of "extension" in the ISSUE_TEMPLATE	2017-10-21 11:32:03 +02:00