summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2002-09-12 17:21:59 +0000
committerPeter Palfrader <peter@palfrader.org>2002-09-12 17:21:59 +0000
commit76208645376520df36e155b56e515594f7f7a6d6 (patch)
tree54fbb748040f00222bbc685d503ce8852b4496a9 /tools/change-thesaurus-filenames
parentd931db7fc5cc86fe91e86b71a0515bbd6f88f1c0 (diff)
Comment given config options
Diffstat (limited to 'tools/change-thesaurus-filenames')
0 files changed, 0 insertions, 0 deletions