From 5802ae011093ca4e138ad82fcd0ee14bbcc6f20f Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 19:33:34 -0600
Subject: Add nix

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index b26b1d5..b7e848e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 _build/
 .merlin
 *.install
+result/**
 
 # opam
 _opam/
-- 
cgit v1.2.3