breandan f51b5e5ef9 Migrate old GitHub links ...

Preserve line numbers in case we figure out what to do with them later (most are out-of-date anyway)

2015-12-21 13:19:55 -05:00

..

external_builder_api.md

Replace "IntelliJ IDEA" with "IntelliJ Platform" where appropriate and other minor changes

2015-11-30 06:25:21 -05:00

external_system_integration.md

Migrate old GitHub links

2015-12-21 13:19:55 -05:00

spring_api.md

Replace "IntelliJ IDEA" with "IntelliJ Platform" where appropriate and other minor changes

2015-11-30 06:25:21 -05:00

xml_dom_api.md

DOM API: fix formatting (IJSDK-92)

2015-10-26 20:55:32 +01:00