diff configure @ 238:05181c5a6edd

- ppc32 doc tweak
author Tassilo Philipp
date Tue, 02 May 2017 03:00:55 +0200
parents 700c67984c08
children 5cfe4322c500
line wrap: on
line diff