16 Jul
2007
16 Jul
'07
4: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 <andrea.rossato@unibz.it> * fixes Commands.hs