revert: default min size for OptionsEditorDialog
[fedora-idea.git] / ExtendedApi / 
tree9858751080757cdec7104f2af0cd268deace3259
drwxr-xr-x   ..
-rw-r--r-- 1615 ExtendedApi.iml
drwxr-xr-x - src