diff --git a/.envrc b/.envrc
deleted file mode 100644
index 9978ef0..0000000
--- a/.envrc
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-# Used by https://direnv.net
-
-# Automatically reload when this file changes
-watch_file devshell.nix
-
-# Load `nix develop`
-use flake
-
-# Extend the environment with per-user overrides
-source_env_if_exists .envrc.local