tree 311801eb1c6367f6a1742d4913bdba10f8682b49
parent fe7679537646fb54a687c6b6a1113437037f740f
author Dmitry Jemerov <yole@jetbrains.com> 1427210609 +0100
committer Dmitry Jemerov <yole@jetbrains.com> 1427210610 +0100

delete old API documentation from github pages; redirect to new one