]> jspc29.x-matter.uni-frankfurt.de Git - trbnettools.git/commitdiff
jspc29 / trbnettools.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 21b46a7 b362e7f)
Merge branch 'master' of git://jspc29.x-matter.uni-frankfurt.de/projects/trbnettools
authorTobias Weber <toweber86@gmail.com>
Thu, 5 Apr 2018 19:13:46 +0000 (21:13 +0200)
committerTobias Weber <toweber86@gmail.com>
Thu, 5 Apr 2018 19:13:46 +0000 (21:13 +0200)

Trivial merge
All tools needed by TrbNet