diff options
author | Juan RP <xtraeme@voidlinux.eu> | 2015-10-16 08:14:01 +0200 |
---|---|---|
committer | Juan RP <xtraeme@voidlinux.eu> | 2015-10-16 08:14:01 +0200 |
commit | d0f0910b6738b175d2ecc6fdbf6515927cd9d81e (patch) | |
tree | 06b0c835ddfd2904f93152fe988de9c439a3082f /installer.sh.in | |
parent | 8261f90a2aaee2d16d0d719d8656a82e7239beb0 (diff) | |
download | hrmpf-d0f0910b6738b175d2ecc6fdbf6515927cd9d81e.tar.gz hrmpf-d0f0910b6738b175d2ecc6fdbf6515927cd9d81e.tar.xz hrmpf-d0f0910b6738b175d2ecc6fdbf6515927cd9d81e.zip |
mklive: make -r append repo to the head rather than replacing.
This allows you to use local repos with higher priority than the official remote ones.
Diffstat (limited to 'installer.sh.in')
0 files changed, 0 insertions, 0 deletions