aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build/windows/MakeCoq_86git_installer_32.bat
Commit message (Expand)AuthorAge
* Fixes bug #5561,#5562 in Windows build systemGravatar Michael Soegtrop2017-06-26
* Add Michael Soegtrop's new script to build windows installer.Gravatar Maxime Dénès2016-11-10