From 4a8a3592c8262728a079588bcae4e86c8ba26443 Mon Sep 17 00:00:00 2001 From: Vladan Popovic Date: Sun, 8 Mar 2020 20:48:10 +0100 Subject: [PATCH] Add vanilla ocamlinit --- .ocamlinit | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .ocamlinit diff --git a/.ocamlinit b/.ocamlinit new file mode 100644 index 0000000..352fb97 --- /dev/null +++ b/.ocamlinit @@ -0,0 +1,3 @@ +(* ## added by OPAM user-setup for ocamltop / base ## 3ec62baf6f9c219ae06d9814069da862 ## you can edit, but keep this line *) +#use "topfind";; +(* ## end of OPAM user-setup addition for ocamltop / base ## keep this line *)