diff doc/manual/manual.tex @ 238:05181c5a6edd

- ppc32 doc tweak
author Tassilo Philipp
date Tue, 02 May 2017 03:00:55 +0200
parents b0cca984c740
children 4e9d3cb9870f
line wrap: on
line diff