diff options
| author |   Dave Barach <dave@barachs.net> | 2018-01-23 10:04:08 -0500 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2018-01-23 10:08:44 -0500 |
| commit | 3a905e69b8ae1166c0be0c84770889538b43bacf (patch) | |
| tree | 3de8d111c6fb44eadca83fa71d020b389e0d9d88 /extras/vagrant | |
| parent | 54c6dc450031443663d40b836a8b0bffdcc2bdea (diff) | |
Fix typo / coverity warning
Change-Id: I4a3a6803083f3d707351440486bba59d8194339f
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions