How to Submit Patches: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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.
