1 Commits (7ecb39574ed8ac3a2020436f37d87c67c49ce8d7)

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