Use repos.archlinux.org everywhere instead of hostname based domains - devtools32

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)

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