This page should describe (or link to) various process that developers of Padre
might want to do.
Open a Ticket
Release Padre
See Release
Release a Plugin
See Release
Setup Development Environment on Windows
TODO: copy from main page
Setup Development Environment on Linux
Create a Patch