]> source.dussan.org Git - gitblit.git/commitdiff
Merge branch 'ci' into master
authorFlorian Zschocke <florian.zschocke@devolo.de>
Fri, 10 Jan 2020 23:10:00 +0000 (00:10 +0100)
committerFlorian Zschocke <florian.zschocke@devolo.de>
Fri, 10 Jan 2020 23:10:39 +0000 (00:10 +0100)
Now we can also build on GitHub

ci ignore


Trivial merge