Maarten Bent 1e3c148b5f Fix missing submodule in CI after Scintilla update ... Remove scintilla from 'git diff' checks, since it doesn't recurse into submodules by default.		2023-02-15 00:20:20 +01:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Fix missing submodule in CI after Scintilla update	2023-02-15 00:20:20 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00