aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/MakeCoq_master_installer.bat
AgeCommit message (Expand)Author
2021-01-04[win] remove old scripts, we now use the platform onesEnrico Tassi
2020-05-07[win] Coq trunk is now called masterEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 12:24:36 +0000