Resources for Eclipse plug-ins developers contributing to the project.
Work in progress
The developer pages will be migrated/updated in a next iteration.
For the moment use the old pages which are mostly outdated, but better than nothing.
How to build
To locally build the Eclipse plug-ins and run a debug session, it is necessary to install an Eclipse and possibly some other tools.
Comments on the content of this page that might be useful for other readers are welcomed here. For questions and general support, please use GitHub Discussions.