1 Commits (4d7f70a28fd61141748b2f9af632ef2e3f536f37)

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