From f46f177a2b9c063125a71fdf0a0a4c221f05d41d Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Mon, 22 Aug 2022 22:31:37 +0530
Subject: Remove .envrc.

.envrc was added as a convenience for when gnbug lived in this
repository.

* .envrc: Delete file.
---
 .envrc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .envrc

diff --git a/.envrc b/.envrc
deleted file mode 100644
index d9ac5ca..0000000
--- a/.envrc
+++ /dev/null
@@ -1 +0,0 @@
-PATH_add .
\ No newline at end of file
-- 
cgit v1.2.3