diff options
Diffstat (limited to 'mingw-w64-build')
| -rwxr-xr-x | mingw-w64-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mingw-w64-build b/mingw-w64-build index 90689c2..28d069e 100755 --- a/mingw-w64-build +++ b/mingw-w64-build @@ -22,7 +22,7 @@ v_gcc="7.3.0" v_gmp="6.1.2" v_mpfr="4.0.1" v_mpc="1.1.0" -v_isl="0.18" +v_isl="0.19" show_help() { |