aboutsummaryrefslogtreecommitdiff
path: root/dev/make-installer-win64.sh
AgeCommit message (Expand)Author
2015-06-29win: compile with -debugEnrico Tassi
2015-06-01script to build 64 coq installer for windowsEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 11:06:12 +0000