diff --git a/.devenv/load-exports b/.devenv/load-exports
deleted file mode 100755
index 8b13789..0000000
--- a/.devenv/load-exports
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/.devenv/profile b/.devenv/profile
deleted file mode 120000
index eb9725a..0000000
--- a/.devenv/profile
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/5fgszmb12p6sq9k1623mqa1n0xsannam-devenv-profile
\ No newline at end of file
diff --git a/.devenv/run b/.devenv/run
deleted file mode 120000
index 7fb192d..0000000
--- a/.devenv/run
+++ /dev/null
@@ -1 +0,0 @@
-/tmp/devenv-37d6f11
\ No newline at end of file