Vadim Zeitlin 438da9c99a Avoid mis-detecting NULL as part of other identifiers ... Tighten the search for NULL in the code style check to avoid flagging the use of MONITOR_DEFAULTTONULL (Win32 API constant) as violation.		2023-05-08 23:40:51 +01:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Avoid mis-detecting NULL as part of other identifiers	2023-05-08 23:40:51 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00