View source for How to Submit Patches

From Event-B

← How to Submit Patches

Jump to navigation Jump to search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.


== Patch Writing ==
{{TODO| coding rules, copyright,...}}

== Patch submission ==
You can submit a patch via the [https://sourceforge.net/tracker2/?group_id=108850&atid=651671 rodin patch tracker] on sourceforge.


[[Category:Developer documentation]]

Template used on this page:

Template:TODO (view source)

Return to How to Submit Patches.

Retrieved from ‘https://wiki.event-b.org/index.php/How_to_Submit_Patches’

Navigation menu