update .gitignore

andrewray · andrewray · commit 8c8230f1dda4 · 2014-05-27T10:26:12.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,7 @@
 notebooks/.ipynb_checkpoints
 static/services/kernels/js/kernel.*.js
 static/services/kernels/js/kernel.js
+*.cmi
+*.cmo
+*.byte
+iocaml.js
