]> git.pld-linux.org Git - packages/pluto.git/commit
- adjusted updated patch to cover deprecated isl_int removal in 0.19
authorJakub Bogusz <qboosh@pld-linux.org>
Mon, 2 Apr 2018 10:22:26 +0000 (12:22 +0200)
committerJakub Bogusz <qboosh@pld-linux.org>
Mon, 2 Apr 2018 10:22:26 +0000 (12:22 +0200)
commit25e9337d87b8cdf92b50d9d9e49c2f4a14827a4c
tree74b6a4dfc82e3479b84c8230b18c5b2df9a99828
parentac5b7f4386f45129909e3e7a9c03e6a2292191ef
- adjusted updated patch to cover deprecated isl_int removal in 0.19
pluto-updates.patch
This page took 0.143148 seconds and 4 git commands to generate.