fix additional indent options (empty extension on write)93.8193.8393.85
tree5f97e9d294e431f424a486997d3f43cd84edd010
-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 - xml