From 9322a8adcb694c5e05044cdbb2fafad1a6ecdad9 Mon Sep 17 00:00:00 2001 From: Eberhard Beilharz Date: Fri, 6 Feb 2026 17:13:35 +0100 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Marc Durdin --- linux/scripts/dist.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/linux/scripts/dist.sh b/linux/scripts/dist.sh index 6c4ae4b374..469cedbff0 100755 --- a/linux/scripts/dist.sh +++ b/linux/scripts/dist.sh @@ -83,6 +83,7 @@ if [[ -z "${create_origdist+x}" ]]; then common/web/langtags \ common/web/types \ common/windows/cpp \ + common/windows/include \ developer/src/common/include \ developer/src/common/web \ developer/src/ext/json \