]> source.dussan.org Git - gitblit.git/commitdiff
Merge branch 'ci', enabling CI services.
authorFlorian Zschocke <florian.zschocke@devolo.de>
Mon, 2 Jan 2017 12:06:48 +0000 (13:06 +0100)
committerFlorian Zschocke <florian.zschocke@devolo.de>
Mon, 2 Jan 2017 12:06:48 +0000 (13:06 +0100)

Trivial merge