Vadim Zeitlin 12984a0ceb Ask to specify the build system used in build problem template ... Also ask for any unusual compiler options.		2023-11-13 01:55:46 +01:00
..
ISSUE_TEMPLATE	Ask to specify the build system used in build problem template	2023-11-13 01:55:46 +01:00
workflows	Check running the GUI test without GUI in Unix CI builds	2023-10-24 01:21:22 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00