Merge branch 'master' into newlog

pull/27/head
Emilien Mantel 2018-02-27 08:14:01 +01:00
commit 9dd7547394
1 changed files with 2 additions and 2 deletions

View File

@ -25,8 +25,8 @@ services:
- docker
before_install:
- wget https://releases.hashicorp.com/vagrant/1.9.5/vagrant_1.9.5_x86_64.deb
- sudo dpkg -i vagrant_1.9.5_x86_64.deb
- wget https://releases.hashicorp.com/vagrant/2.0.1/vagrant_2.0.1_x86_64.deb
- sudo dpkg -i vagrant_2.0.1_x86_64.deb
- vagrant plugin install vagrant-hostmanager
install: