Merge branch 'sdombrovsky/virtual_lines'
[idea/community.git] / platform / util / resources / misc /
drwxr-xr-x   ..
-rw-r--r-- 56416 registry.properties