dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #246768 from wegank/jdt-language-server-platforms

Browse Source 
jdt-language-server: set platforms
This commit is contained in:
figsoda 2023-08-02 10:14:06 -04:00 committed by GitHub
commit 589c273558
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/tools/language-servers/jdt-language-server/default.nix
View File

@ -97,5 +97,6 @@ stdenv.mkDerivation rec {
sourceProvenance = with sourceTypes; [ binaryBytecode ];
license = licenses.epl20;
maintainers = with maintainers; [ matt-snider ];
platforms = platforms.all;
};
}