From b209dd98527fd357e716d44ec4adb430504eae56 Mon Sep 17 00:00:00 2001
From: Paul Iannetta <paul.iannetta@inria.fr>
Date: Mon, 19 Nov 2018 00:51:01 +0100
Subject: zsh dot files

---
 .config/zsh/rc/ocaml.rc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 .config/zsh/rc/ocaml.rc

(limited to '.config/zsh/rc/ocaml.rc')

diff --git a/.config/zsh/rc/ocaml.rc b/.config/zsh/rc/ocaml.rc
new file mode 100755
index 0000000..e74e143
--- /dev/null
+++ b/.config/zsh/rc/ocaml.rc
@@ -0,0 +1,2 @@
+# OPAM configuration
+. /home/paul/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true
-- 
cgit v1.2.3-54-g00ecf