Kamil Podsiadlo 7921cab7e3 fix: publishing bsp diagnostics ... * do not publish bsp diagnostics if there were and there are no problems * publish diagnostics if problems needs to be updated		2022-06-25 11:14:51 +02:00
..
server-test	fix: publishing bsp diagnostics	2022-06-25 11:14:51 +02:00
test/scala	fix: publishing bsp diagnostics	2022-06-25 11:14:51 +02:00