tree 6e3a023fa3c9f5bcf8fd5f4c78b2a33539c73df1
parent fe0d014d49e2ea8d380ad7d8bbead28cf5db2cc1
author Eric Newberry <enewberry@cs.arizona.edu> 1522310177 -0700
committer Eric Newberry <enewberry@cs.arizona.edu> 1522456149 -0700

change Vagrant platform to Ubuntu 16.04

refs #4559

Change-Id: Ie667f8402ae30cf379c2dc55d8139ea229cf48ed