ExternalVendorCode/openwrt
1
0
Fork 0
mirror of https://github.com/openwrt/openwrt.git synced 2025-06-24 10:18:09 +00:00
Code Issues Actions 6 Packages Projects Releases Wiki Activity
Files
7d376e6e528f2d34e2f71f99f2f2f545a4dd63f2
openwrt/tools/isl
History
Rui Salvaterra a13efd2253 tools/isl: update the download URL 
isl.gforge.inria.fr has been dead since early this month [1]. Switch to
libisl.sourceforge.io for the time being.

[1] https://groups.google.com/g/isl-development/c/JGaMo2VUu_8

Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>
(cherry picked from commit dd0ad9b661)
2021-10-21 22:31:22 +02:00
..
Makefile
tools/isl: update the download URL
2021-10-21 22:31:22 +02:00