summaryrefslogtreecommitdiffstats
path: root/jeschli
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
commit8af1f07c68cf49b4e3a96ce68adc1cf7f0134292 (patch)
tree05a24f58b3028f34fbbf23d716e1164b69d57bf0 /jeschli
parent6290ff93ae85061582f2ed1263b5f8d50e162a74 (diff)
j brauerei: +vagrant
Diffstat (limited to 'jeschli')
-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 59a8110..235d64d 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