summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-09-17 21:11:00 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-09-17 21:11:00 +0200
commit164185033f0f6db94b8bd5fe4fc668001073959e (patch)
tree25788218cef29341a1556cd3037ca3efc9269f7c /.gitignore
parentbaea04747697ad5039139ef44bca7b3965147696 (diff)
flake: use my-nixpkgs' devenv
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..15642c4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+### devenv
+.devenv/
+