projects / idea / community.git / commit
| author | peter <peter@jetbrains.com> | |
| Wed, 25 Feb 2015 09:52:02 +0000 (10:52 +0100) | ||
| committer | peter <peter@jetbrains.com> | |
| Wed, 25 Feb 2015 09:57:49 +0000 (10:57 +0100) | ||
| commit | 379d1111e7ca64a24fba3753c1ff43bc2463b1b3 | |
| tree | f7e55ce4dd03d3306744cba9afdc1d92bd153a1e | tree |
| parent | 5e14d67b837990444b646ef782dfe5f56ec5c0db | commit | diff |
| platform/core-api/src/com/intellij/openapi/fileEditor/FileDocumentManager.java | diff | blob | history |