Merge branch 'develop'

laurentheirendt · laurentheirendt · commit 5725ff247fbb · 2019-03-31T12:13:00.000+02:00
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,15 @@
+language: julia
+
+os:
+    - linux
+
+julia:
+    - 1.0
+    - nightly
+
+matrix:
+  allow_failures:
+    - julia: nightly
+
+notifications:
+    email: false
