Philip Chimento a58ae41ea7 linter: Fix parsing features.txt ... Previously, split() would split on whitespace, then the if-condition would remove `#` - interpreting every word in every comment in the file as a potential valid feature flag. We want splitlines() here. Partial-line comments were inadvertently "supported" before, because of this bug. Instead, support them explicitly by chopping off a `#` character, anything after it, and any whitespace immediately preceding it.		2023-03-06 17:31:20 +01:00
..
generation	Fix generator clean fail on .DS_Store	2022-05-05 17:03:58 -04:00
lint	linter: Fix parsing features.txt	2023-03-06 17:31:20 +01:00
misc	Add the language tag mappings python script	2020-04-09 09:20:55 -04:00
packaging	fixup! Rename usage of master to main	2020-07-15 15:47:15 -04:00
scripts	CI: Do not report test failures as errors	2021-05-28 18:06:58 -04:00
CoverageAnalyzer.py	Unify indentation and add .editorconfig (#973)	2017-04-13 10:37:32 -04:00
copy_tests.sh	Add a little helper for convenience in testing changes (#1260)	2017-10-04 11:46:21 -04:00