From 42e8df62d606996e7799f13f87a0924eca77cea4 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Wed, 7 Feb 2024 15:54:10 +0100
Subject: stop following .envrc

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

diff --git a/.envrc b/.envrc
deleted file mode 100644
index fd8affa..0000000
--- a/.envrc
+++ /dev/null
@@ -1,11 +0,0 @@
-if ! has nix_direnv_version || ! nix_direnv_version 2.2.1; then
-    source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.2.1/direnvrc" "sha256-zelF0vLbEl5uaqrfIzbgNzJWGmLzCmYAkInj/LNxvKs="
-fi
-
-nix_direnv_watch_file devenv.nix
-nix_direnv_watch_file devenv.lock
-nix_direnv_watch_file devenv.yaml
-if ! use flake . --impure
-then
-    echo "devenv could not be built. The devenv environment was not loaded. Make the necessary changes to devenv.nix and hit enter to try again." >&2
-fi
-- 
cgit v1.2.3