From 0f224b2428bd61a76eba96a35e114a03cd714b22 Mon Sep 17 00:00:00 2001
From: Douglas Eichelberger <dduugg@users.noreply.github.com>
Date: Sun, 22 Jan 2023 21:26:56 -0800
Subject: [PATCH] Delete config.rbi

---
 Library/Homebrew/config.rbi | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 Library/Homebrew/config.rbi

diff --git a/Library/Homebrew/config.rbi b/Library/Homebrew/config.rbi
deleted file mode 100644
index 2cab9bf6d5..0000000000
--- a/Library/Homebrew/config.rbi
+++ /dev/null
@@ -1,6 +0,0 @@
-# typed: strict
-
-module EnvVar
-  sig { params(env: String).returns(String) }
-  def self.[](env); end
-end