summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-12-20 14:53:44 +0100
committerquentin@aristote.fr <quentin@aristote.fr>2023-12-20 14:53:44 +0100
commit28b72fa8565a80defc6eec8bb9eecd21691753ac (patch)
treeab46767cb35b9850961f599148b989a896e825f4 /.gitignore
parentc1e667b6e83c16182dfb6aa758e6e6c3adc7cb36 (diff)
add devenv
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a60b4b7
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+### devenv
+.devenv/
+.devenv.flake.nix
+