Exact

Exact Union RegExp

Vadim Zeitlin 0352fe1fbd Don't set LD_LIBRARY_PATH for CI workflows ... This shouldn't be necessary any longer, after the fix in the grandparent commit.		2024-01-29 01:20:52 +01:00
..
ISSUE_TEMPLATE	Ask to specify the build system used in build problem template	2023-11-13 01:55:46 +01:00
workflows	Don't set LD_LIBRARY_PATH for CI workflows	2024-01-29 01:20:52 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00