Eberhard Beilharz a22de0a647 maint(developer): use add_zip_files function ... This makes use of `add_zip_files` where possible. Fixes: #14332 Follow-up-of: #14093 Test-bot: skip		2025-07-10 17:53:16 +02:00
..
config	feat(developer): add api-extractor and api-documenter and config	2024-02-26 11:37:32 +07:00
docs	Apply suggestions from code review	2025-07-04 21:46:32 +02:00
src	maint(developer): use add_zip_files function	2025-07-10 17:53:16 +02:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00
build.sh	chore(developer): use builder.inc.sh instead of build-utils.sh in build scripts	2024-05-20 06:34:46 +07:00