diff options
| author |   Chris Packham <judge.packham@gmail.com> | 2021-10-10 08:27:50 (GMT) |
|---|---|---|
| committer | Chris Packham <judge.packham@gmail.com> | 2021-10-10 08:35:26 (GMT) |
| commit | cfb7d07ae1e0ef4dbf14f40a5744d1abd382d000 (patch) | |
| tree | d455a59edb17878cece5776e10c240031bc977b0 /config | |
| parent | aa524934f5fcfedb91b03d2fec7a8dd4dd080aea (diff) | |
isl: Update mirror URL
gforge.inria.fr has been shutdown. The isl project has moved hosting to
sourceforge.io. Update the mirror accordingly.
Signed-off-by: Chris Packham <judge.packham@gmail.com>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions