diff options
author | Damjan Marion <damarion@cisco.com> | 2017-04-20 11:43:56 +0200 |
---|---|---|
committer | Neale Ranns <nranns@cisco.com> | 2017-04-20 12:57:33 +0000 |
commit | 48009e4c5732180ecc951ac6359b9b96d38b8dc2 (patch) | |
tree | d370b842a5be1eb47c4aed5fcae76a659eaa9224 /extras/vagrant/.gitignore | |
parent | 686c1c8454803e48d45428a720f129f24dc981f7 (diff) |
Move vagrant stuff to extras/
Change-Id: I7e3d6ecc3f23d862004c273e23e36e234ceb6015
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'extras/vagrant/.gitignore')
-rw-r--r-- | extras/vagrant/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/vagrant/.gitignore b/extras/vagrant/.gitignore new file mode 100644 index 00000000000..a977916f658 --- /dev/null +++ b/extras/vagrant/.gitignore @@ -0,0 +1 @@ +.vagrant/ |