mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2024-06-26 17:47:29 +02:00
![]() 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
|
||
---|---|---|
.. | ||
Makefile |