9 Oct
2013
9 Oct
'13
noon
Hi, Am Mittwoch, den 09.10.2013, 09:40 +0000 schrieb Simon Peyton-Jones:
Should there be some documentation in the user manual? (Apols if there already.)
not really; the feature that a command that expects filenames works with "~/ghci" is not worth mentioning, but rather expected behaviour. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org