From 074a0b6b9a04f278452ddc57973aff1e6cca7a82 Mon Sep 17 00:00:00 2001
From: Spencer Bryngelson <sbryngelson@gmail.com>
Date: Wed, 25 Feb 2026 15:03:04 -0500
Subject: [PATCH] Remove video file types from .gitignore

Remove video file extensions from .gitignore
---
 .gitignore | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index e80d14a6f9..96ada13627 100644
--- a/.gitignore
+++ b/.gitignore
@@ -98,11 +98,10 @@ benchmarks/*.png
 
 *.mod
 
-# Video Files
 *.mp4
 *.mov
 *.mkv
 *.avi
 
 **isolation_rules/
-**.supercode/
\ No newline at end of file
+**.supercode/