]> source.dussan.org Git - gitblit.git/commitdiff
projects / gitblit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 845de9d c7bf84f)
Merge branch 'chirontt-external_repos_zipped' into master.
authorFlorian Zschocke <florian.zschocke@devolo.de>
Fri, 7 Jun 2019 20:43:51 +0000 (22:43 +0200)
committerFlorian Zschocke <florian.zschocke@devolo.de>
Fri, 7 Jun 2019 20:43:51 +0000 (22:43 +0200)

Trivial merge
Pure java git solution: https://github.com/gitblit-org/gitblit