3 Commits

Author	SHA1	Message	Date
Christian Grothoff	0573f8a4a0	another typo	2021-04-28 00:15:19 +02:00
Christian Grothoff	2a619eadbe	fix more typos	2021-04-28 00:00:37 +02:00
Florian Dold	b56fedc0ae	cleanup	2020-08-03 13:33:34 +05:30