From 6fba4977347adefc07a4ed46ad4328ed5441d71e Mon Sep 17 00:00:00 2001 From: grossmj Date: Wed, 8 Jul 2026 22:40:27 +0200 Subject: [PATCH] Remove deleted web-ui files from git --- scripts/update-bundled-web-ui.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/update-bundled-web-ui.sh b/scripts/update-bundled-web-ui.sh index 33f8a1736..76ea5574a 100755 --- a/scripts/update-bundled-web-ui.sh +++ b/scripts/update-bundled-web-ui.sh @@ -82,6 +82,7 @@ fi echo "Removing: $GNS3SERVER_DIR/gns3server/static/web-ui/*" rm -rf $GNS3SERVER_DIR/gns3server/static/web-ui/* +git rm -rf gns3server/static/web-ui/* echo "Re-create: $GNS3SERVER_DIR/gns3server/static/web-ui"