diff options
| author | Zach van Rijn <me@zv.io> | 2021-10-05 18:08:43 -0500 |
|---|---|---|
| committer | Zach van Rijn <me@zv.io> | 2021-10-05 18:08:43 -0500 |
| commit | b5b488df3d95e9316496763b813a22b7abed6709 (patch) | |
| tree | 6ec69cb22c179a9069c01cb60fe5a7ab35bca00e /user/gprbuild/foxkit.xml | |
| parent | 3b124c272e8dbabae8ef4ec4ffc4644f906b7240 (diff) | |
| download | packages-b5b488df3d95e9316496763b813a22b7abed6709.tar.gz packages-b5b488df3d95e9316496763b813a22b7abed6709.tar.bz2 packages-b5b488df3d95e9316496763b813a22b7abed6709.tar.xz packages-b5b488df3d95e9316496763b813a22b7abed6709.zip | |
system/isl: fix source url due to temporary server unavailability
Diffstat (limited to 'user/gprbuild/foxkit.xml')
0 files changed, 0 insertions, 0 deletions