[tor-commits] [ooni-probe/master] wrong box name fixed

[art at torproject.org]

commit 4c5fa3e726cbb5f40e380bc129850282e689a6d2
Author: fh <fh-github at fholzhauer.de>
Date:   Sun Jul 28 10:55:56 2013 +0200

    wrong box name fixed
---
 Vagrantfile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 493580f..a5658ec 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -5,7 +5,7 @@ Vagrant.configure("2") do |config|
   # All Vagrant configuration is done here. The most common configuration
   # options are documented and commented below. For a complete reference,
   # please see the online documentation at vagrantup.com.
-  config.vm.box = "precise"
+  config.vm.box = "precise32"
   config.vm.box_url = "http://files.vagrantup.com/precise32.box"
 
   config.vm.synced_folder ".", "/usr/share/ooni/"