diff options
author | Artturi <Artturin@artturin.com> | 2022-05-02 02:32:29 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-02 02:32:29 +0300 |
commit | 8832a980c12e941245d7e0875c86767e0253428c (patch) | |
tree | 4be1c8ac65248ba6e27bd1f7b9bca139f718cd06 /pkgs/top-level | |
parent | 78c65ff343984f82ac79bef50625b2071a35c06b (diff) | |
parent | 0202ad1ef92e385a5445092239ad1f1e1dc2cbf3 (diff) |
Merge pull request #99330 from matt-snider/jdt-language-server
jdt-language-server: init at 1.8.0
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index bfca44e2701df..14f01f1581d65 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -24330,6 +24330,8 @@ with pkgs; iwona = callPackage ../data/fonts/iwona { }; + jdt-language-server = callPackage ../development/tools/jdt-language-server {}; + jetbrains-mono = callPackage ../data/fonts/jetbrains-mono { }; jost = callPackage ../data/fonts/jost { }; |