From 5eb67e275eb16b4a67a0de04ca325df44718a8b1 Mon Sep 17 00:00:00 2001
From: Martin André <m.andre@redhat.com>
Date: Wed, 18 Nov 2015 17:47:15 +0900
Subject: Allow to customize vagrant deployment

Extract the Vagrantfile configuration to a Vagrantfile.custom file, to
permit easy customization of the Vagrant deployment without the need to
modify a file under version control.

Closes-Bug: #1517475
Change-Id: I03e3ef373ec47e3d622b77fa9cf88748db99adaa
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 626fc7e93..c16fe78c1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,6 +25,7 @@ ChangeLog
 doc/build
 
 # Files generated by Vagrant
+dev/vagrant/Vagrantfile.custom
 dev/vagrant/vagrantkey
 dev/vagrant/vagrantkey.pub
 dev/vagrant/storage/
-- 
cgit v1.2.3