diff options
author | Sven-Hendrik Haase <svenstaro@gmail.com> | 2016-05-27 21:02:46 +0200 |
---|---|---|
committer | Sven-Hendrik Haase <svenstaro@gmail.com> | 2016-05-27 21:02:46 +0200 |
commit | 7fc22b9abaf52a8326b93b38578fd25457f9c253 (patch) | |
tree | 791a788e89ac4a51bdf3a64bd1c39c38ad0604b6 /.gitignore | |
parent | f85fc32d78414c25f82e0b13e3d99f15ab787b56 (diff) | |
download | devtools-20160527.tar.gz devtools-20160527.tar.xz |
Use repos.archlinux.org everywhere instead of hostname based domains20160527
This makes it a lot easier to swap out the host that actually serves the repos in the future.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions