update the .dockerignore file

idris-hackers · Jun 8, 2017 · 05222f0 · 05222f0
1 parent ada20b6
commit 05222f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.dockerignore b/.dockerignore
@@ -1,4 +1,4 @@
 /.bundle
-/.convox
 /.env
 /.git
+.travis.yml