From c29c18bc45041d47ae3beba49aabe51f2b0368a8 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Sat, 7 Oct 2017 07:33:26 +0200
Subject: [PATCH] update the webtech vagrant file to use the correct stretch
 name

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

diff --git a/vagrant/webtech/Vagrantfile b/vagrant/webtech/Vagrantfile
index 9a50c76..da4989e 100644
--- a/vagrant/webtech/Vagrantfile
+++ b/vagrant/webtech/Vagrantfile
@@ -12,7 +12,7 @@ Vagrant.configure("2") do |config|
 
   # Every Vagrant development environment requires a box. You can search for
   # boxes at https://atlas.hashicorp.com/search.
-  config.vm.box = "debian-VAGRANTSLASH-stretch64"
+  config.vm.box = "debian/stretch64"
 
   # Disable automatic box update checking. If you disable this, then
   # boxes will only be checked for updates when the user runs