summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2024-02-28 16:29:58 +0100
committerquentin@aristote.fr <quentin@aristote.fr>2024-02-28 16:29:58 +0100
commitc87fe21a93709ec707d9bb08341c78405f5522f4 (patch)
treee2fd11a94587d4e834a50d4416558617c81e97ef /.gitignore
parent4ce1eaafab7b567e4f5604215296470d9317a667 (diff)
publications: update and split selected
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 15642c4..a426481 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
### devenv
.devenv/
+.devenv.flake.nix
+devenv.local.nix