summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2024-05-19 19:43:58 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2024-05-19 19:43:58 +0200
commit55f81a6d2419e0480ba91bfa948ad256117be00d (patch)
tree0c0af6c5cc87628b795d7ede86b71d274b07b7f4 /.gitignore
parentd5978bc46aa7fa16e90d9ae067e5e2a894b6f275 (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