From 09c782349390f0c838e51775ff2e9f817a358399 Mon Sep 17 00:00:00 2001
From: Earlopain <14981592+Earlopain@users.noreply.github.com>
Date: Thu, 2 Apr 2026 08:35:02 +0200
Subject: [PATCH] Remove stale gitignore entries

They are not there anymore. I had them around still and that gave me some
weird typechecking errors
---
 .gitignore | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index cddb8cfa25..0447b6ef70 100644
--- a/.gitignore
+++ b/.gitignore
@@ -61,9 +61,6 @@ out.svg
 /src/serialize.c
 /src/tokens.c
 /src/**/*.o
-/rbi/prism/dsl.rbi
-/rbi/prism/node.rbi
-/rbi/prism/visitor.rbi
 
 compile_commands.json
 .cache/