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 | 8af1f07c68cf49b4e3a96ce68adc1cf7f0134292 (patch) | |
| tree | 05a24f58b3028f34fbbf23d716e1164b69d57bf0 /jeschli/1systems | |
| parent | 6290ff93ae85061582f2ed1263b5f8d50e162a74 (diff) | |
j brauerei: +vagrant
Diffstat (limited to 'jeschli/1systems')
| -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 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 |