| commit | 3160bf1c3a6065e76a76c9ba87078b53fdce7413 | [log] [tgz] |
|---|---|---|
| author | Dmitry Jemerov <yole@jetbrains.com> | Tue Mar 24 16:23:29 2015 +0100 |
| committer | Dmitry Jemerov <yole@jetbrains.com> | Tue Mar 24 16:23:30 2015 +0100 |
| tree | 311801eb1c6367f6a1742d4913bdba10f8682b49 | |
| parent | fe7679537646fb54a687c6b6a1113437037f740f [diff] |
delete old API documentation from github pages; redirect to new one
