Merge remote-tracking branch 'origin/master' into IDEA-CR-10038
[idea/community.git] / platform / util / resources / misc /
drwxr-xr-x   ..
-rw-r--r-- 33055 registry.properties