From 1be267d626f9c04c81162717972a742ac4298923 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