Skip to content
Commit 033a5ad9 authored by Jürg Billeter's avatar Jürg Billeter
Browse files

Merge branch 'aevri/update_man' into 'master' 

man/: update with changes since Apr 2018

See merge request !981
parents f6c184f5 1f31aefc
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment