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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions