diff options
Diffstat (limited to 'third_party/default.nix')
| -rw-r--r-- | third_party/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/default.nix b/third_party/default.nix index b795f5c24bfe..69bd75642c83 100644 --- a/third_party/default.nix +++ b/third_party/default.nix @@ -94,6 +94,7 @@ let installShellFiles jdk jdk11 + jdk11_headless jetbrains-mono jq kontemplate |