]> git.pld-linux.org Git - packages/vcmi.git/history - vcmi-boost.patch
- files fix
[packages/vcmi.git] / vcmi-boost.patch
2019-05-10 Jakub Bogusz- added boost patch (fixes build with boost 1.70; it...
This page took 0.187347 seconds and 7 git commands to generate.