Jacob Frøkjær Wortmann bc619141fc add home to jdtls server		2024-01-29 09:53:45 +01:00
..
custom/plugins	add home to jdtls server	2024-01-29 09:53:45 +01:00
kickstart/plugins	my configuration	2023-10-22 21:27:54 +02:00
lsp	Added a whole lot of settings	2023-12-08 13:12:08 +01:00