diff options
| author | Peter Palfrader <peter@palfrader.org> | 2004-04-24 11:03:07 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2004-04-24 11:03:07 +0000 |
| commit | cba4fede6001197482b3d6c79dd698aae4232339 (patch) | |
| tree | e7220466933bffdc4f600b8ee468d8829a14d660 /tools/change-thesaurus-filenames | |
| parent | 0d19f7f43d3cf883a238e24b9ba44cf918d9d20c (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