diff configure @ 297:dd1d0b0fd896

- doc typo
author Tassilo Philipp
date Wed, 16 May 2018 18:27:59 +0200
parents e6bd998b0308
children b69f328cdfe6
line wrap: on
line diff