diff doc/manual/manual.tex @ 205:5edaf22a261e

- doc update
author Tassilo Philipp
date Wed, 22 Mar 2017 12:06:32 +0100
parents b0cca984c740
children 4e9d3cb9870f
line wrap: on
line diff