Strahinja Val Markovic 088eb4d0d2 Cleaner server shutdown ... Listening for VimLeave was sub-optimal. popen.terminate() is much cleaner.		2013-10-07 11:03:26 -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	Cleaner server shutdown	2013-10-07 11:03:26 -07:00
hook.py	Now more explicit about accessing user options	2013-10-07 11:03:25 -07:00