Merge #8743: Remove old manpages from contrib/debian in favour of doc/man
b194872 Remove old manpages from contrib/debian (fanquake)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Sep 25 2016, 11:35 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCb1948723c9bc: Remove old manpages from contrib/debian
rABCb694b0d5a5b4: Merge #8791: [travis] cross-mac: explicitly enable gui - Branches
- Unknown
- Tags
Merged Changes
Merged Changes