]> git.leopard-lacewing.eu Git - tex_tools.git/commitdiff
projects / tex_tools.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 16d4f59 6b30984)
Merge branch 'develop'
authorPeter Schaefer <schaeferpm@gmail.com>
Wed, 2 Jan 2019 23:39:17 +0000 (00:39 +0100)
committerPeter Schaefer <schaeferpm@gmail.com>
Wed, 2 Jan 2019 23:41:48 +0000 (00:41 +0100)

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