Difference between revisions of "How to Submit Patches"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (initial version) |
(No difference)
|
Latest revision as of 10:29, 10 November 2008
Patch Writing
TODO: coding rules, copyright,...
Patch submission
You can submit a patch via the rodin patch tracker on sourceforge.