From 3514b47d113e3b8e0566cf4180be32a1757257b3 Mon Sep 17 00:00:00 2001 From: punkfairie Date: Thu, 14 Nov 2024 17:52:30 -0800 Subject: [PATCH] chore(devenv): Remove .devenv --- .devenv/load-exports | 1 - .devenv/profile | 1 - .devenv/run | 1 - 3 files changed, 3 deletions(-) delete mode 100755 .devenv/load-exports delete mode 120000 .devenv/profile delete mode 120000 .devenv/run 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