git4idea: The HOME environment variable is now set to user.home if it is not specifie...
tree3146e3c01fc49a0eaf29ef501a6549c7b1ed3528
-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