From 11d5751bbfb7faf526bb7821908a5f7d89010f4d Mon Sep 17 00:00:00 2001 From: katherine Date: Sun, 25 Nov 2018 23:24:07 -0700 Subject: add .ocamlinit --- .ocamlinit | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .ocamlinit 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";; -- cgit v1.2.3