
16 Jul
2007
16 Jul
'07
12:42 p.m.
Hi,
this patch fixes the issue in Commands.hs reported by Kai Grossjohann.
ciao
andrea
Mon Jul 16 18:40:17 CEST 2007 Andrea Rossato