aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/patches_coq/pkg-config.c
AgeCommit message (Expand)Author
2019-05-21Fixing typos - Part 1JPR
2019-03-19Fixed incompatibility between new cygwin pkg-config and duneMichael Soegtrop
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 19:19:53 +0000