diff options
author | Markos Chandras <mchandras@suse.de> | 2017-10-02 13:03:48 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2017-10-02 13:03:48 +0000 |
commit | 51dc64382d9a8355c1f3636974e3715dd56c2f90 (patch) | |
tree | 1cf7ae438238c78a8f25db0ee6b1f8883c4864d7 /etc/pagemenu.html | |
parent | 727b6a757e29ebe4dcc29d8cec4fbe6105cee2cc (diff) |
Update git submodules
* Update docs/submodules/releng-xci from branch 'master'
- Merge "xci: install-ansible.sh: Fix distribution detection"
- xci: install-ansible.sh: Fix distribution detection
Relying on the installed package manager to detect the distribution
is not reliable since it's possible to install multiple package managers
at the same time. As such, lets simply use the information in the
os-release files.
Change-Id: Ic170d2aee1398d5c82403c3469365822bf053de7
Signed-off-by: Markos Chandras <mchandras@suse.de>
Diffstat (limited to 'etc/pagemenu.html')
0 files changed, 0 insertions, 0 deletions