diff: add general extension point for diff viewers
authorAleksey Pivovarov <AMPivovarov@gmail.com>
Thu, 18 Jun 2015 14:31:49 +0000 (17:31 +0300)
committerAleksey Pivovarov <AMPivovarov@gmail.com>
Thu, 3 Sep 2015 16:28:04 +0000 (19:28 +0300)
commitc59791598621d29366b7551194b431885d537267
treeae8b58a95608e1a3cd1a5e16d8e09afaa2a664aa
parent9ce48b054e530225ce9372ccb63c0d8668913237
diff: add general extension point for diff viewers
platform/diff-api/src/com/intellij/diff/DiffExtension.java [new file with mode: 0644]
platform/diff-impl/src/com/intellij/diff/impl/DiffRequestProcessor.java
platform/platform-resources/src/META-INF/PlatformExtensionPoints.xml