summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2003-06-06 09:40:07 +0000
committerPeter Palfrader <peter@palfrader.org>2003-06-06 09:40:07 +0000
commit639e79a7e71fa1fffb520d356490661b6c2c63de (patch)
treecfd75afa2fc218a58b35e80080d7f0482aa06b1d /tools/change-thesaurus-filenames
parent8ca57feefe30b143fc7c1d6c61f1fec586d2a7db (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