diff options
| author | Peter Palfrader <peter@palfrader.org> | 2003-06-06 09:40:07 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2003-06-06 09:40:07 +0000 |
| commit | 639e79a7e71fa1fffb520d356490661b6c2c63de (patch) | |
| tree | cfd75afa2fc218a58b35e80080d7f0482aa06b1d /tools/change-thesaurus-filenames | |
| parent | 8ca57feefe30b143fc7c1d6c61f1fec586d2a7db (diff) | |
--verbose is more or less obsolete; there is no file called "output" anymore.
Diffstat (limited to 'tools/change-thesaurus-filenames')
0 files changed, 0 insertions, 0 deletions