User doc: small improvements

This commit is contained in:
Jean-Francois Dockes
2017-12-03 10:19:40 +01:00
parent 572eb5b57d
commit 944076da54
4 changed files with 1166 additions and 1227 deletions
File diff suppressed because it is too large Load Diff