Merge "Remove deprecated vagrant configuration"
authorEd Warnicke <hagbard@gmail.com>
Tue, 17 Jan 2017 21:16:33 +0000 (21:16 +0000)
committerGerrit Code Review <gerrit@fd.io>
Tue, 17 Jan 2017 21:16:33 +0000 (21:16 +0000)
commit7ed8eafcb4ded8086b07151f4ede3007c9733a08
tree96e23b9c69fc38b8765bf34456f90893c4e865af
parent3948a7d20c8d60c489697fdfe565648f8bb77e4f
parent82ca7f8d5346c2d0c89a8ddf7b874a35c357b644
Merge "Remove deprecated vagrant configuration"