diff configure @ 260:1a44e750a6ec

- declutter
author Tassilo Philipp
date Sun, 21 May 2017 21:51:35 +0200
parents 943c182692e2
children edbada931b3f
line wrap: on
line diff