diff options
author | jeschli <jeschli@gmail.com> | 2018-06-19 19:00:25 +0200 |
---|---|---|
committer | jeschli <jeschli@gmail.com> | 2018-06-19 19:00:25 +0200 |
commit | 53a9a1a9de7b07462cb1e08401558b87b640f17a (patch) | |
tree | 6fa60975d55f3cc66c478de0e20b05afb6694a66 | |
parent | 324a8615f19c267d67b8a96d8e74b648c875ba04 (diff) |
j brauerei: +vagrant
-rw-r--r-- | jeschli/1systems/brauerei/config.nix | 1 |
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 |