Vadim Zeitlin 6bba7055aa Exclude descrip.mms files everywhere from the whitespace check ... Previously only the top-level one was excluded, but others use TABs too.		2023-06-03 21:07:40 +02:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Exclude descrip.mms files everywhere from the whitespace check	2023-06-03 21:07:40 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00