diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-12-09 17:34:55 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-12-09 17:35:18 +0100 |
| commit | 7fa94f324b5c923d0183563f41a285a0b550a175 (patch) | |
| tree | 316ebacbab8894eab20188f0a9dcd0022a958995 /scripts/generate-mirror-commands.py | |
| parent | 05056bf59e228d3a1d49dba4499373729067db70 (diff) | |
| download | manifest-7fa94f324b5c923d0183563f41a285a0b550a175.tar.gz manifest-7fa94f324b5c923d0183563f41a285a0b550a175.tar.bz2 manifest-7fa94f324b5c923d0183563f41a285a0b550a175.zip | |
external/mat2: use a mirror of the upstream repository
We managed to upstream the patch we need, so we don't need to fork mat2
anymore.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'scripts/generate-mirror-commands.py')
0 files changed, 0 insertions, 0 deletions