1 Commits (3723355fb9dea723d152abfcbb10ed440bb49c0b)

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