diff options
author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-10 11:10:08 -0300 |
---|---|---|
committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-10 11:10:08 -0300 |
commit | 11c95ac4c8281b6f51aa0e61a4bf13159f664855 (patch) | |
tree | 172e9410017c87847730d4ead0e3bd41cf6975b0 /docs/pkg/debian.rst | |
parent | 4793149d6d1276feaabcc89b90f209dc70355b20 (diff) |
Use preferred provider on first run. Closes #5813.
Diffstat (limited to 'docs/pkg/debian.rst')
0 files changed, 0 insertions, 0 deletions