From 43e0f654c175d9b036987d92b16256aeda9aa737 Mon Sep 17 00:00:00 2001 From: Andreas Gohr Date: Tue, 12 Mar 2024 14:09:16 +0100 Subject: [PATCH] removed deleted file from style.ini --- style.ini | 1 - 1 file changed, 1 deletion(-) diff --git a/style.ini b/style.ini index 48dda70..7a33bb4 100755 --- a/style.ini +++ b/style.ini @@ -106,7 +106,6 @@ css/plugins/edit.less = all css/plugins/mediamanager.less = all css/plugins/tabinclude.less = all css/plugins/tagging.less = all -css/plugins/include.less = all css/plugins/edittable.less = all css/plugins/tablelayout.less = all css/plugins/extension__manager.less = all