revert: default min size for OptionsEditorDialog
[fedora-idea.git] / platform-resources / 
tree88be29dead46b845f5f6323a13e0d2f52d83e2f2
drwxr-xr-x   ..
-rw-r--r-- 446 platform-resources.iml
drwxr-xr-x - src