1 Commits (72bac332be7bd1cc3886f6e4e42a5a4afcd5d7b2)

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