Skip to content

man/: update with changes since Apr 2018

Angelos Evripiotis requested to merge aevri/update_man into master

Description

Update man pages with changes since Apr 2018.

Related to #8, since we must work around it by manually updating periodically like this.


Merge request reports