diff options
| author |   Mike Gilbert <floppym@gentoo.org> | 2017-07-08 16:19:17 -0400 |
|---|---|---|
| committer | Mike Gilbert <floppym@gentoo.org> | 2017-07-08 16:21:11 -0400 |
| commit | 9308588975de62a4514e296e4f790f78d2ec97bc (patch) | |
| tree | 0b517a8b4f75ec491c944e7723add2780de9f99b /dev-ros | |
| parent | app-misc/gourmet: Remove old version (diff) | |
| download | gentoo-9308588975de62a4514e296e4f790f78d2ec97bc.tar.gz gentoo-9308588975de62a4514e296e4f790f78d2ec97bc.tar.bz2 gentoo-9308588975de62a4514e296e4f790f78d2ec97bc.zip | |
profiles: add ftp.gnu.org/gnu/ as a backup for mirror:/gnu/
The GNU mirrors take time to sync with the master FTP site.
Bug: https://bugs.gentoo.org/623662
Diffstat (limited to 'dev-ros')
0 files changed, 0 insertions, 0 deletions