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 |