Optimize memory traffic for the case when there are some unsaved documents
[idea/community.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - index-tools
drwxr-xr-x - launcher-generator
drwxr-xr-x - lexer