Commit Graph

1 Commits

Author SHA1 Message Date
8d4aa038be Use Jenkins pipelines (#937) 2019-08-09 12:13:27 +02:00