From 55cb4fbde1297352e04779e5c16c9f8f85661215 Mon Sep 17 00:00:00 2001 From: Matthew Gretton-Dann Date: Sun, 1 Dec 2024 20:22:53 +0000 Subject: [PATCH] Add opam switch dir to .gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index b4d0dc9..6b5a988 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ _build/ +_opam/ input.txt