Martin Letáček 296d105a51 Merge remote-tracking branch 'upstream/master'		2018-12-22 23:38:16 +01:00
..
TextDocument	fix: We don't need these	2018-12-22 23:21:42 +01:00
Workspace	perf: change index to a tree to speed up completion (#680)	2018-11-11 03:47:57 +01:00
ServerTestCase.php	Merge remote-tracking branch 'upstream/master'	2018-12-22 23:38:16 +01:00