Commit Graph

1 Commits (de1710a9f36a587898251f9e299b738f8972ebba)

Author SHA1 Message Date
Adriaan de Groot 99858242fb CI: Replace Jenkins-oriented scripts with Travis-oriented ones