Vadim Zeitlin c2eab06e4b Merge branch 'remove-motif-and-gtk1' ... Remove obsolete and unmaintained wxMotif and wxGTK1 ports. See #22877.		2022-10-18 18:30:58 +02:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Merge branch 'remove-motif-and-gtk1'	2022-10-18 18:30:58 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00