Gabriel Noé González 680d2dbdbe Merge branch 'master' into fix/eol		2018-11-11 15:31:05 +01:00
..
TextDocument	Merge branch 'master' into fix/eol	2018-11-11 15:31:05 +01:00
Workspace	perf: change index to a tree to speed up completion (#680)	2018-11-11 03:47:57 +01:00
ServerTestCase.php	perf: change index to a tree to speed up completion (#680)	2018-11-11 03:47:57 +01:00