summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2024-03-01 23:19:21 +0100
committerquentin@aristote.fr <quentin@aristote.fr>2024-03-01 23:19:21 +0100
commit9bd9322946c3f8e0634e3931e182d57b05941af7 (patch)
tree920d485c12d298b1744dd9c907bde80dd91ab1e2 /.gitignore
parent01123862c6bd3ef3c5b9d732f63670d7fb1cfefa (diff)
update infoHEADmaster
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2757252..60040bd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -303,4 +303,6 @@ TSWLatexianTemp*
### devenv
.devenv/
+.devenv.flake.nix
+devenv.local.nix