鲁树人 741e302ea7 ci: publish site deployment to netlify as well		2024-01-18 00:29:37 +00:00
..
deploy.sh	ci: publish site deployment to netlify as well	2024-01-18 00:29:37 +00:00
make-win64.sh	build: make zip archive of final zip	2023-12-28 23:09:56 +00:00
publish.sh
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