diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-09-26 18:15:47 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-09-27 17:54:10 +0000 |
| commit | d51020cdfc1c023f1953a7b6970f12cf09985900 (patch) | |
| tree | 622b11258aea81dd22a33e69e7df3eafa8285545 /extras/vagrant/env.sh | |
| parent | 45c40dbb2c1fcafce17d5c901c9b317cde4b5cde (diff) | |
Update vagrant centos config to CentOS 7.4
Change-Id: I45c1227b53ba9e57b94f1bc68de939cd3ce9d619
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vagrant/env.sh')
0 files changed, 0 insertions, 0 deletions