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