13 Nov
2006
13 Nov
'06
1:53 p.m.
On 13 Nov 2006 19:21:16 +0100, Peter Simons
Yes, I too think that version is nice. I'd be quite happy if Taral or someone else would prepare a darcs patch and submit it.
That would have to be someone else... I'm not equipped to make a darcs
patch right now.
--
Taral