]> git.leopard-lacewing.eu Git - tex_tools.git/commitdiff
projects / tex_tools.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1b6432e ddec20f)
Merge branch 'develop'
authorPeter Schaefer <schaeferpm@gmail.com>
Thu, 3 Jan 2019 13:35:22 +0000 (14:35 +0100)
committerPeter Schaefer <schaeferpm@gmail.com>
Thu, 3 Jan 2019 13:35:22 +0000 (14:35 +0100)

Trivial merge
Tools zum TeXen 'Python, Git, ...'