| commit | 70112da81a5591d345dc7e8c9fd23e4e8bb67d17 | [log] [tgz] |
|---|---|---|
| author | Robert Griebl <griebl@gmx.de> | Mon Jul 29 20:28:38 2002 +0000 |
| committer | Robert Griebl <griebl@gmx.de> | Mon Jul 29 20:28:38 2002 +0000 |
| tree | 234c700395db9e5cc68157090072b0a276df1495 | |
| parent | e7078068941944ebaa92b2129447e277f824ded0 [diff] |
Fixed a bug that I had introduced with the new "options" handling.