From 8853750d2f745b826801347ebdbd38ce635b94e9 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Wed, 12 Dec 2018 08:39:14 +0100 Subject: [PATCH] Ignore opam2 local switches and make ignore rules more strict --- .gitignore | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 3fce4793..4a19da35 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ -_build +/_build/ +/_opam/ .merlin -*.install +/*.install