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