revert: default min size for OptionsEditorDialog
[fedora-idea.git] / platform-impl / 
tree4ce740280a04df1578bb8a62f687207fefc7137d
drwxr-xr-x   ..
-rw-r--r-- 2738 platform-impl.iml
drwxr-xr-x - src