Merge branch 'traff/zip_helpers'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 22 Sep 2015 19:05:19 +0000 (21:05 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 22 Sep 2015 19:05:19 +0000 (21:05 +0200)
commitb44200947be9416b311b9d15dd892c0fe6f21011
tree0b103ba396cf319cf2284ad19041d1d94e20f75e
parent408b77ea1e73b5c9cda6697aa2305dfd14d84486
parent3fde602d044dc668b732cf959aec577c8a6e0f2d
Merge branch 'traff/zip_helpers'
python/src/com/jetbrains/python/sdk/PythonSdkType.java