rillig 77ed1cfd24 timed: fix typos in comments		2022-10-16 16:58:54 +00:00
..
SMM.doc	…
timed	timed: fix typos in comments	2022-10-16 16:58:54 +00:00
timedc	…
CHANGES	…
Makefile	…
Makefile.inc	…