Merge pull request #87 from kellerkinderDE/chore/file-cleanup

chore: Remove unnecessary files
kellerkinderDE · Jan 19, 2024 · 9e5e1b1 · 9e5e1b1
2 parents c0945f7 + b850aba
commit 9e5e1b1
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 254 deletions.
diff --git a/.envrc b/.envrc
diff --git a/.gitignore b/.gitignore
@@ -2,5 +2,4 @@
 
 # Devenv
 /.devenv*
-/.direnv
-devenv.local.nix
+/devenv.lock
diff --git a/devenv.lock b/devenv.lock