summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2002-09-12 17:47:26 +0000
committerPeter Palfrader <peter@palfrader.org>2002-09-12 17:47:26 +0000
commitf845d37bd60d6ba79f983be29d4fb488b224a386 (patch)
tree7c4754902b9c9f7073f66ee3d0fde12ffd240c02 /tools/change-thesaurus-filenames
parent76208645376520df36e155b56e515594f7f7a6d6 (diff)
Explitily mention shell voodoo for everybody who cannot come up with it themselves
Diffstat (limited to 'tools/change-thesaurus-filenames')
0 files changed, 0 insertions, 0 deletions