diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-05-26 01:46:13 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-05-26 01:46:13 (EDT) |
| commit | fee11646ece5d7c0da3b2018f3af86e53ec0e28b (patch) | |
| tree | 0c4dda20cedfca7c8eca86c3e8024b7119e57a0a /.gitignore | |
| parent | 508a4e460a7ae3c82adaf5358f5f6b591a51c6f3 (diff) | |
install_system(): Pick mirror before validating arch/plat
Based on commit 83bcfb5 in the master branch.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions