tree 02dfb6b20c98594a99b05982d7a00e837293128f
parent 93b307b07991cfe156bf48c2e5c3b188f6006236
author pantor <lars.berscheid@online.de> 1584800062 +0100
committer pantor <lars.berscheid@online.de> 1584800062 +0100

move to github ci