17 Jul
2007
17 Jul
'07
1:42 a.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 <andrea.rossato@unibz.it> * fixes Commands.hs