diff options
| author | Peter Palfrader <peter@palfrader.org> | 2002-12-13 06:50:30 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2002-12-13 06:50:30 +0000 |
| commit | e83be49433fc47ea7058129cf02f4fc23fb38b4e (patch) | |
| tree | 672c5d0171e1794f18bc4904d75c1233caf8f531 /debian | |
| parent | 249a37cff75b7163edd7d70062817e18fba0225d (diff) | |
Handle indexfilebasename and thesaurusindexfile with extension gracefully for now
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions