index: do not rewrite len on index closing if last written len is already actual...
[idea/community.git] / platform / platform-api /
drwxr-xr-x   ..
-rw-r--r-- 2248 intellij.platform.ide.iml
drwxr-xr-x - resources
drwxr-xr-x - src