summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorjeschli <jeschli@gmail.com>2018-06-19 19:00:25 +0200
committerjeschli <jeschli@gmail.com>2018-06-19 19:00:25 +0200
commit53a9a1a9de7b07462cb1e08401558b87b640f17a (patch)
tree6fa60975d55f3cc66c478de0e20b05afb6694a66
parent324a8615f19c267d67b8a96d8e74b648c875ba04 (diff)
j brauerei: +vagrant
-rw-r--r--jeschli/1systems/brauerei/config.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/jeschli/1systems/brauerei/config.nix b/jeschli/1systems/brauerei/config.nix
index 59a811028..235d64dcd 100644
--- a/jeschli/1systems/brauerei/config.nix
+++ b/jeschli/1systems/brauerei/config.nix
@@ -76,6 +76,7 @@
ghc
python35
python35Packages.pip
+ vagrant
# go tools
golint
gotools