From 59c3b1a20aae2ef9c45e74d454337c07aa43f59e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 02:52:25 -0300
Subject: nix flake with dune and rocq development environment

---
 .gitignore | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..5059366
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+CLAUDE.md
+.claude
+_build/
+*.install
+.direnv/
+result
-- 
cgit v1.2.3