Difference between revisions of "How To Contribute"

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: