diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-11-06 03:46:36 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-06 05:35:43 +0100 |
| commit | 30276bbc82ca770500531d872666f48493749285 (patch) | |
| tree | 875799414c9cd23f1bb217eb7e24d8839fba5521 /debian/source.lintian-overrides | |
| parent | e764f7517749d8055ba3af8ae00a0c75a3bccaa7 (diff) | |
interimap.1.md: Document that DELETE and RENAME commands should be avoided.
Diffstat (limited to 'debian/source.lintian-overrides')
0 files changed, 0 insertions, 0 deletions