Timothe Litt 86b19c767b Change archives from BZIP2 to ZIP ... PowerShell can create ZIP files, which Windows explorer can access natively.		2023-02-26 22:22:01 -05:00
..
build.yml	makefile: Add WARNINGS=ALLOWED make option and change default optimize to -O2	2022-11-05 16:45:48 -04:00
windows_build.yml	Change archives from BZIP2 to ZIP	2023-02-26 22:22:01 -05:00