From b9ee59c92d9b01d5fda32c6034bf6978c11c9770 Mon Sep 17 00:00:00 2001
From: Chris <christophe.delfabbro@gmail.com>
Date: Thu, 27 Aug 2026 13:22:06 +0200
Subject: [PATCH] chore(devenv): .envrc is no longer required

---
 .envrc | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 .envrc

diff --git a/.envrc b/.envrc
deleted file mode 100644
index faa8210..0000000
--- a/.envrc
+++ /dev/null
@@ -1,3 +0,0 @@
-source_url "https://raw.githubusercontent.com/cachix/devenv/d1f7b48e35e6dee421cfd0f51481d17f77586997/direnvrc" "sha256-YBzqskFZxmNb3kYVoKD9ZixoPXJh1C9ZvTLGFRkauZ0="
-
-use devenv