diff options
author | 2016-08-16 18:45:10 +0200 | |
---|---|---|
committer | 2016-08-24 16:11:17 +0200 | |
commit | dc647f941fc3923f5ed1f2888318b218c23f4362 (patch) | |
tree | 127d68fdfe97e163ff175656499aa60f1845479f /ci | |
parent | c4204aefeaf0d781998e54ab83831fcde7527b89 (diff) |
build: Allow MIRROR_MOS_UBUNTU override
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions