From b26d0a28d10b7ae047b8aec9ba775db05bc29114 Mon Sep 17 00:00:00 2001 From: PizieDust Date: Fri, 20 Dec 2024 07:03:58 +0100 Subject: [PATCH] add opam dir to gitignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index ba7ce2a..7f06c54 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,4 @@ _build *~ *# - +_opam