On Sun, Jul 18, 2010 at 08:44:48AM +0200, Peter Kümmel wrote: > Enrico Forestieri wrote: > >> But we could have made a copy of the output for the terminal. If this is > >> the only remaining issue, then your time was not lost. > > > > I think the issue is now fixed. > > > > Ver good, reading your log message I thought you've given up ;)
I've given up doing it the right way. -- Enrico
