push down: add option to create a subclass if a class has no inheriters (IDEA-46563)
tree12c8ab22866029693aad5a6589db06d1f12604c1
-rw-r--r-- 10 .gitattributes
-rw-r--r-- 50 .gitignore
drwxr-xr-x - .idea
-rw-r--r-- 11358 LICENSE.txt
drwxr-xr-x - RegExpSupport
drwxr-xr-x - bin
-rw-r--r-- 12 build.txt
-rw-r--r-- 1300 build.xml
drwxr-xr-x - build
-rw-r--r-- 4349 community-main.iml
drwxr-xr-x - community-resources
drwxr-xr-x - images
drwxr-xr-x - java
drwxr-xr-x - lib
drwxr-xr-x - license
drwxr-xr-x - native
drwxr-xr-x - platform
drwxr-xr-x - plugins
drwxr-xr-x - resources-en
drwxr-xr-x - resources
drwxr-xr-x - samples
drwxr-xr-x - tools
drwxr-xr-x - xml