HomePhabricator

Merge #8743: Remove old manpages from contrib/debian in favour of doc/man
bae178f3ca78Unpublished

Unpublished Commit ยท Learn More

Repository Importing: This repository is still importing.

Description

Merge #8743: Remove old manpages from contrib/debian in favour of doc/man

b194872 Remove old manpages from contrib/debian (fanquake)

Details

Provenance
Wladimir J. van der Laan <laanwj@gmail.com>Authored on Sep 25 2016, 11:35
schancelPushed on Jan 5 2018, 21:58
schancelPushed on Jan 5 2018, 21:39
schancelPushed on Jan 5 2018, 21:17
Parents
rSTAGINGb1948723c9bc: Remove old manpages from contrib/debian
rSTAGINGb694b0d5a5b4: Merge #8791: [travis] cross-mac: explicitly enable gui
Branches
Unknown
Tags
Unknown

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rSTAGINGbae178f3ca78: Merge #8743: Remove old manpages from contrib/debian in favour of doc/man (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Sep 25 2016, 11:35