From fca12a5ee939aeec1a19c7098587d306b6f94353 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Wed, 29 May 2024 19:28:34 +0200
Subject: add devenv

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..6849dee
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,5 @@
+### devenv
+.devenv/
+.devenv.flake.nix
+devenv.local.nix
+.pre-commit-config.yaml
-- 
cgit v1.2.3