1 Commits (992d5b4e9d7eb09e1cd038d75a0ea44afa56a1ca)

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