make travis happy

pull/207/head
Andreas Lehr 4 years ago
parent f674c1e4b3
commit b5847f32d1