summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-12-20 14:07:42 +0100
committerquentin@aristote.fr <quentin@aristote.fr>2023-12-20 14:34:30 +0100
commitd2e7dc15a563f4533e0ef5f86bc19349f16e6c11 (patch)
tree40c9e52875cbdc780d5bfa0c56ec4aba40552c13 /.gitignore
parentc89edb0b37c6343d32c146547dfb54fcdb69b158 (diff)
don't use devenv from flake
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 15642c4..a60b4b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
### devenv
.devenv/
+.devenv.flake.nix