diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-09-25 13:35:15 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-09-25 13:35:24 +0200 |
commit | bae178f3ca787d7d8896b1f880997423bb2af738 (patch) | |
tree | 33b99a86d0445dc60482f8d8792e0f3ea8267ef7 /contrib/debian/control | |
parent | b694b0d5a5b4f9c5cb6d87c928052ef2a05ad5f1 (diff) | |
parent | b1948723c9bc045aa43a7a2771c62d413bfd0e20 (diff) |
Merge #8743: Remove old manpages from contrib/debian in favour of doc/man
b194872 Remove old manpages from contrib/debian (fanquake)
Diffstat (limited to 'contrib/debian/control')
0 files changed, 0 insertions, 0 deletions