Merge remote-tracking branch 'origin/master' into develar/pwd
authorVladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Tue, 26 Jul 2016 07:55:40 +0000 (09:55 +0200)
committerVladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Tue, 26 Jul 2016 07:55:40 +0000 (09:55 +0200)
1  2 
platform/util/resources/misc/registry.properties