This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.

Tim Ruffing f0256b7eca Fix typo in spell-checking docs		2020-12-26 14:44:21 +01:00
..
spell-checking	Fix typo in spell-checking docs	2020-12-26 14:44:21 +01:00
syntax-checking	update copyright to 2020	2020-09-23 21:25:01 +02:00