2 Aug
2007
2 Aug
'07
5:54 a.m.
I have sent a darcs patch. The code I posted did not work due to a copy-paste error, sorry about that. The contributed code does. Have Fun Hans Philipp