Florian Bruhin a78442bb67 Rewrite file collection in misc_checks.py ... Now collects all (non-ignored) files via `git ls-files` and only skips some binary formats. Also adds some type annotations and fixes some newly unconvered UK-spellings.		2020-09-06 17:23:03 +02:00
..
find_implementation.html	Adjust test settings	2017-07-04 15:08:02 +02:00
hide_unmatched_rapid_hints.html	Rewrite file collection in misc_checks.py	2020-09-06 17:23:03 +02:00
issue824.html	Replace all GitHub links	2017-02-05 00:13:11 +01:00
issue925.html	Replace all GitHub links	2017-02-05 00:13:11 +01:00
other.html	Replace all GitHub links	2017-02-05 00:13:11 +01:00
zoom.html	Fix hint position when zoom is used	2016-06-06 10:41:59 +02:00