-
Christian Hergert authored
Now that we're linking all the plugins that were using internal API, we can drop this and avoid using _ide_* in the ABI linker script.
ee246d67
Now that we're linking all the plugins that were using internal API, we can drop this and avoid using _ide_* in the ABI linker script.