projects / idea / community.git / commit
| author | Sergey Ignatov <sergey.ignatov@jetbrains.com> | |
| Fri, 30 Oct 2015 13:36:02 +0000 (16:36 +0300) | ||
| committer | Sergey Ignatov <sergey.ignatov@jetbrains.com> | |
| Fri, 30 Oct 2015 13:37:24 +0000 (16:37 +0300) | ||
| commit | 517bcfc6f40052391f9a90a6692ef588d1c4a486 | |
| tree | dc90271f2016ed3aba16f1962b585d6e28bdbd7a | tree |
| parent | fab2ca32eeb12f6dbb182e424a97279231b07a8f | commit | diff |
| plugins/coverage-common/src/com/intellij/coverage/CoverageOptionsConfigurable.java | diff | blob | history |