[cl-unification-devel] aargh

norman werner norman.werner at web.de
Wed Aug 24 21:32:49 UTC 2005


I wrote the last bugfix from memory only. The explanation was bullshit. 
However the fix remains valid

Norman
_________________________________________________________________________
Mit der Gruppen-SMS von WEB.DE FreeMail können Sie eine SMS an alle 
Freunde gleichzeitig schicken: http://freemail.web.de/features/?mc=021179






More information about the cl-unification-devel mailing list