From 59b89338bd07cd4fb3b5d46ba2dd9337035efac0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 31 Jul 2023 23:54:40 -0400 Subject: [PATCH] gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index f485c7c..8ad0fa1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ _opam _build +*.json