temporary workaround related to problem with initial size of File | Settings dialog...
[fedora-idea.git] / platform-resources_eng / 
tree69fc397a35a34bb5d713786558ef59e93aab11a1
drwxr-xr-x   ..
drwxr-xr-x - src