From: Peter Schaefer <schaeferpm@gmail.com>
Date: Wed, 2 Jan 2019 23:39:17 +0000 (+0100)
Subject: Merge branch 'develop'
X-Git-Url: https://git.leopard-lacewing.eu/?a=commitdiff_plain;h=feccffcf7722ce62ce4ca400b037b16ca375a9a9;p=tex_tools.git

Merge branch 'develop'
---

feccffcf7722ce62ce4ca400b037b16ca375a9a9