summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-09-17 18:39:06 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-09-17 18:39:06 +0200
commit7f5f01ef3d3eb56a24db31b7ddf85fc4ce3b37fc (patch)
treefc4fe69f286ec24b25c15b1795756bfd7cca12a1 /.gitignore
parentf5ffcc09b782d286e658a5599443bbe711df6281 (diff)
flake: add 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/
+