diff options
| author | jeschli <jeschli@gmail.com> | 2018-06-19 09:32:37 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-06-19 09:32:37 +0200 |
| commit | 505bfbfbe53375f13ab8f43b4fc3d53ff0e1e6e4 (patch) | |
| tree | 7a7d49c2faea67b82b392982eb2995a8053f3322 | |
| parent | b5d1c2f5e6ab4a44f81366e1b9de0b366d8aa871 (diff) | |
j bln: +vagrant
| -rw-r--r-- | jeschli/1systems/bln/config.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jeschli/1systems/bln/config.nix b/jeschli/1systems/bln/config.nix index c9a7a34e2..a8329c412 100644 --- a/jeschli/1systems/bln/config.nix +++ b/jeschli/1systems/bln/config.nix @@ -76,6 +76,7 @@ texlive.combined.scheme-full pandoc redis + vagrant # document viewer zathura ]; |