diff configure @ 329:8b0fc583ce62

- tex formatting fix - ToDo list cleanup
author Tassilo Philipp
date Fri, 22 Nov 2019 23:23:14 +0100
parents 09aaa2e774cd
children fe31a2e3ac90
line wrap: on
line diff