Strahinja Val Markovic 98f549aeae More robust way of picking an unused local port ... Fixes #584.		2013-10-14 20:38:45 -07:00
..
OmniSharpServer@ee198be6f0	pointed submodule to newest commit	2013-07-10 11:27:55 +02:00
__init__.py	completer rewritten to fit in the changed api	2013-06-04 12:14:12 +02:00
cs_completer.py	More robust way of picking an unused local port	2013-10-14 20:38:45 -07:00
hook.py	Now more explicit about accessing user options	2013-10-07 11:03:25 -07:00