How To Contribute: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m How to report a bug or a suggestion
 
imported>Jrloria
content merged into Developer FAQ
 
(23 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 
#REDIRECT [[Developer FAQ]]
== How do I get current source code ==
{{TODO}}
 
== How do I propose a patch ==
{{TODO}}
 
== How do I report a bug or a suggestion ==
You may use sourceforge [http://sourceforge.net/tracker/?group_id=108850&atid=651669 bug and feature tracker]. Please verify that your bug has not been reported before submitting it.
 
 
[[Category:Developer documentation]]

Latest revision as of 09:51, 18 May 2010

Redirect to: