From: Peter Schaefer Date: Wed, 2 Jan 2019 22:16:00 +0000 (+0100) Subject: Merge branch 'master' into feature/python X-Git-Tag: v1.0~9 X-Git-Url: https://git.leopard-lacewing.eu/?a=commitdiff_plain;h=7ac7de4f2ce83b61eb0743bd9a2f6e3b0f574141;p=tex_tools.git Merge branch 'master' into feature/python --- 7ac7de4f2ce83b61eb0743bd9a2f6e3b0f574141