]> source.dussan.org Git - gitblit.git/commit
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)
commitbb5d1ef31e65a6160e4fa1302d0ee293d5c344ef
tree5e1cb57a38f27d1912c06f9d54af3eeca12140aa
parenteaaf99e188ecefbd589fe08fd3b7652190258379
parent9b32ae7ecf31187693ed8abe556bfac72e1c62c9
Merge branch 'ci' into master

Now we can also build on GitHub

ci ignore