Skip to content
Snippets Groups Projects
user avatar
Andreas Gohr authored
implemented change as suggested by Pter Szldovics in the Wiki

darcs-hash:20060309183318-7ad00-d73d6ea2fa7d4e50c7e166db1437d5f517b7ca5d.gz
da12a760
History
Name Last commit Last update