鲁树人 bea2f4b7d4 build: make zip archive of final zip		2023-12-28 23:09:56 +00:00
..
deploy.sh	ci: automatically promote latest main build as published.	2023-06-10 21:59:08 +01:00
make-win64.sh	build: make zip archive of final zip	2023-12-28 23:09:56 +00:00
publish.sh	ci: don't publish when we are inside PR	2023-06-10 16:11:26 +01:00
read_json.mjs	ci: fix existing deployment	2023-06-10 21:49:00 +01:00
write-version.mjs	build: include commit hash in version.txt	2023-12-28 20:38:45 +00:00