- Removed dependency on remote-run in vagrant plugin (PY-12254).
- New api for path mappings providers (old left for compatibility with RubyMine and PhpStorm)
- Fix launching of Python console for remote interpreter.
fix test
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
use a more memory-efficient structure to hold a long indexed file list
Move ssh connection provider to remote-run.
Merge remote-tracking branch 'origin/master'