aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorkatherine <shmibs@shmibbles.me>2018-11-25 23:24:07 -0700
committerkatherine <shmibs@shmibbles.me>2018-11-25 23:24:07 -0700
commit11d5751bbfb7faf526bb7821908a5f7d89010f4d (patch)
treef10bdb2dcd02810fffd9948f5361b3c38ccf3054
parent816bd692f82a00f7231e77c61d87ab3cd6ca00a5 (diff)
downloaddotfiles-11d5751bbfb7faf526bb7821908a5f7d89010f4d.tar.gz
add .ocamlinit
-rw-r--r--.ocamlinit4
1 files changed, 4 insertions, 0 deletions
diff --git a/.ocamlinit b/.ocamlinit
new file mode 100644
index 0000000..2442c58
--- /dev/null
+++ b/.ocamlinit
@@ -0,0 +1,4 @@
+#use "topfind";;
+
+#require "base";;
+#require "core";;