From b12b9dcce92fb62a177ed6f9ad9fafc95fb56220 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Bonhomme?= <cedric@cedricbonhomme.org>
Date: Thu, 28 Feb 2019 22:23:52 +0100
Subject: [PATCH] updated name of dev VM

---
 vagrant/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vagrant/Vagrantfile b/vagrant/Vagrantfile
index c1adfcc..3585101 100644
--- a/vagrant/Vagrantfile
+++ b/vagrant/Vagrantfile
@@ -53,7 +53,7 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   #
   #   # Use VBoxManage to customize the VM. For example to change memory:
   vb.customize ["modifyvm", :id, "--memory", "2048"]
-  vb.customize ["modifyvm", :id, "--name", "MONARC BO - Ubuntu 18.04 - DEV - 2019-02-21"]
+  vb.customize ["modifyvm", :id, "--name", "MONARC BO - Ubuntu 18.04 - DEV"]
   end
   #
   # View the documentation for the provider you're using for more