7 Commits

Author	SHA1	Message	Date
figsoda	589c273558	Merge pull request #246768 from wegank/jdt-language-server-platforms ... jdt-language-server: set platforms	2023-08-02 10:14:06 -04:00
Weijia Wang	b958bdf1b9	jdt-language-server: set platforms	2023-08-02 13:23:48 +02:00
Lewis Arias	d4352f4098	jdt-language-server: 1.21.0 -> 1.26.0	2023-07-31 16:00:14 -04:00
Fabian Page	a566bad552	jdt-language-server: 1.20.0 -> 1.21.0	2023-03-31 13:55:23 +02:00
Payas Relekar	ba21116cec	jdt-language-server: 1.19.0 -> 1.20.0	2023-02-28 23:05:59 +05:30
Lewis Arias	3f02898c9d	jdt-language-server 1.17.0 -> 1.19.0	2023-01-22 15:54:02 -05:00
Anderson Torres	e4d0f455fa	treewide: move language servers to pkgs/development/tools/language-servers	2022-12-25 10:19:02 -03:00