summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2024-06-09 14:49:45 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2024-06-09 14:49:45 +0200
commit25f4279bf0aef51452136fab0007a5e4f6159fbd (patch)
tree42fb74e82abf91df229fd58c33f794202d02d844 /.gitignore
parent82278a9bb91b204d47574857d801a15e802b282f (diff)
add devenv
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
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