summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2002-07-10 12:42:56 +0000
committerPeter Palfrader <peter@palfrader.org>2002-07-10 12:42:56 +0000
commit4a10af5d62d93aa14a279d89d75a1dfb7c159879 (patch)
tree5c22781967385de45078a0e3227e0e52169f84d3 /tools/change-thesaurus-filenames
parent14f5e4cb38eef94d8803d28e24dd442f64d68d4a (diff)
Added --process switch
Diffstat (limited to 'tools/change-thesaurus-filenames')
0 files changed, 0 insertions, 0 deletions