| index : devtools32 | |
| Archlinux32 fork of devtools | gitolite user |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | config/pacman/core-staging-with-build-support.conf | 3 |
diff --git a/config/pacman/core-staging-with-build-support.conf b/config/pacman/core-staging-with-build-support.conf index 7b62e6f..450bf16 100644 --- a/config/pacman/core-staging-with-build-support.conf +++ b/config/pacman/core-staging-with-build-support.conf @@ -70,6 +70,9 @@ LocalFileSigLevel = Optional # repo name header and Include lines. You can add preferred servers immediately # after the header, and they will be used before the default mirrors. +[build-support-manual] +Include = /etc/pacman.d/mirrorlist + [build-support] Include = /etc/pacman.d/mirrorlist |