Resources for Eclipse plug-ins developers contributing to the project.

Developer

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.

• prerequisites

Other resources

• Links

---

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.