From 29a472ab35550a59663206ad8d089d64a2a17120 Mon Sep 17 00:00:00 2001
From: "Francois B. (Makoto)" <francois@makotonoblog.be>
Date: Sun, 21 Jul 2019 19:18:26 +0200
Subject: [PATCH] vagrant added

---
 repo_functions_ub1804.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repo_functions_ub1804.sh b/repo_functions_ub1804.sh
index 9310ce0..a3affd5 100644
--- a/repo_functions_ub1804.sh
+++ b/repo_functions_ub1804.sh
@@ -333,6 +333,7 @@ sqlitebrowser;apt;dev;sqlitebrowser
 mysql-workbench;apt;dev;mysql-workbench
 jq;apt;dev;jq
 tig;apt;dev;tig
+vagrant;apt;dev;vagrant
 nodejs;apt;javascript;nodejslts
 javascript-common;apt;javascript;javascript-common
 yarn;npm;javascript;yarn