From 7e6781cd029b2c6577c0a58a76a1d389aa73fce3 Mon Sep 17 00:00:00 2001
From: Fabio Rehm <fgrehm@gmail.com>
Date: Sat, 2 Mar 2013 22:46:24 -0300
Subject: [PATCH] Make explicit that the Vagrantfile is meant to be used for
 development

---
 .gitignore                     | 2 ++
 Vagrantfile => Vagrantfile.dev | 0
 2 files changed, 2 insertions(+)
 rename Vagrantfile => Vagrantfile.dev (100%)

diff --git a/.gitignore b/.gitignore
index f6f0573..1c00f4c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,5 +22,7 @@ doc/
 .vagrant
 /cache
 
+Vagrantfile
+
 /boxes/**/*.tar.gz
 /boxes/output/
diff --git a/Vagrantfile b/Vagrantfile.dev
similarity index 100%
rename from Vagrantfile
rename to Vagrantfile.dev