aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build/windows/MakeCoq_88git_installer.bat
Commit message (Expand)AuthorAge
* Fixes issue #7172 (don't include MinGW make in install)Gravatar Michael Soegtrop2018-04-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 15:08:05 +0000