From db3fde45f3b3c8b0f8c3383b4f22ca064df94290 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 10 Mar 2023 22:44:11 -0500 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 607c18c6..23b7111b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ _build +_opam .merlin *.install target