Commit Graph

2 Commits

Author SHA1 Message Date
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Brian Schroeder
0e8c811907 isl: add 0.20
Update `isl` to use `isl_0_20`.
2018-11-19 10:34:52 -05:00