27 Feb
2018
27 Feb
'18
10:50 a.m.
Hi, Am Dienstag, den 27.02.2018, 14:57 +0000 schrieb Simon Peyton Jones:
Lovely thank you.
I did this, and updated all accepted proposals. The trick to not number the title is to move the document title to the very top,
You might want to leave enough comments in the template file so that users don’t accidentally mess it up.
there is already plenty of noise in the beginning of the file – I’ll consider that if people actually mess it up. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/