From e6b6d9a18dbd6600593f0e3fafca7c6631111aad Mon Sep 17 00:00:00 2001
From: Kevin Ring <kevin@kotachrome.com>
Date: Thu, 31 Aug 2023 21:50:23 +1000
Subject: [PATCH] Remove unnecessary folder from FilterPlugin.ini.

---
 Config/FilterPlugin.ini | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Config/FilterPlugin.ini b/Config/FilterPlugin.ini
index 885617b31..b1cfb8c47 100644
--- a/Config/FilterPlugin.ini
+++ b/Config/FilterPlugin.ini
@@ -7,7 +7,6 @@
 /CHANGES.md
 /Shaders/*
 /Intermediate/Build/Linux/*
-/LinuxInt/*
 /Binaries/Linux/*
 /LinuxIntermediate/Build/Linux/UnrealEditor/Inc/CesiumEditor/UHT/*
 /LinuxIntermediate/Build/Linux/UnrealEditor/Inc/CesiumRuntime/UHT/*