diff options
author | Manuel Buil <mbuil@suse.com> | 2017-11-29 17:27:28 +0100 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2017-11-30 09:58:13 +0000 |
commit | f9d7a3d715c341c653d013607de615ce4fa049cb (patch) | |
tree | 909c5fece319a60bb096333948d559f663968309 /etc/pagemenu.html | |
parent | 102752b29bc75e35a237a9207d448c771a8f8189 (diff) |
Update git submodules
* Update docs/submodules/releng-xci from branch 'master'
- Make sure the docker service is started
We are installing the docker package but not checking if it is started
The service name for the three distros is the same but I still added the
variable in each distro variables file to keep best practices
Change-Id: I0c73069ea7edc366e824cf39d14d24d1416fd6c3
Signed-off-by: Manuel Buil <mbuil@suse.com>
Diffstat (limited to 'etc/pagemenu.html')
0 files changed, 0 insertions, 0 deletions