summaryrefslogtreecommitdiff
path: root/tools/change-thesaurus-filenames
diff options
context:
space:
mode:
authorPeter Palfrader <peter@palfrader.org>2004-04-24 11:03:07 +0000
committerPeter Palfrader <peter@palfrader.org>2004-04-24 11:03:07 +0000
commitcba4fede6001197482b3d6c79dd698aae4232339 (patch)
treee7220466933bffdc4f600b8ee468d8829a14d660 /tools/change-thesaurus-filenames
parent0d19f7f43d3cf883a238e24b9ba44cf918d9d20c (diff)
Print summary on notice level, not info, if it was requested manually
Diffstat (limited to 'tools/change-thesaurus-filenames')
0 files changed, 0 insertions, 0 deletions