diff options
| author | varac <varacanero@zeromail.org> | 2015-12-10 12:30:52 +0100 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2015-12-10 12:30:52 +0100 |
| commit | 1f9da0490a3d55831e2b834ab5801c629123d226 (patch) | |
| tree | aef163ed0a947aeb63e29f30e0a3a75efaf3bace /vagrant | |
| parent | efed34739df6cafbb5f5e8144aa98a87d96d6924 (diff) | |
[bug] Configure default sources.platform.apt.basic
Providing a custom sources.platform.apt.basic value worked
with the last commit, but without that the platform would fail.
So we provide a default value now in provider_base/common.json,
which can get overridden.
Diffstat (limited to 'vagrant')
0 files changed, 0 insertions, 0 deletions