From a5655f432ce6d63a20890cb659e537e130ad7c5c Mon Sep 17 00:00:00 2001
From: Bo Anderson <mail@boanderson.me>
Date: Tue, 20 Aug 2024 03:58:12 +0100
Subject: [PATCH] global.rbi: remove

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

diff --git a/Library/Homebrew/global.rbi b/Library/Homebrew/global.rbi
deleted file mode 100644
index 1557c3b769..0000000000
--- a/Library/Homebrew/global.rbi
+++ /dev/null
@@ -1,5 +0,0 @@
-# typed: strict
-
-module Homebrew
-  include Kernel
-end