<p class="MsoNormal"><span lang="EN-US">Following
tools are used:<o:p></o:p></span></p><ul><li style="text-indent: -18pt;"><span lang="EN-US" style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
Symbol;mso-ansi-language:EN-US"><span style="font-variant-numeric: normal; font-variant-east-asian: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: &quot;Times New Roman&quot;;">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</span></span><!--[endif]--><span lang="EN-US">Mantis:
issues (proposals for change: corrections, evolutions or adaptations) are
tracked and managed with Mantis Bug Tracker, an open source and web-based issue
tracking manager hosted by Cerebellis.</span></li><li style="text-indent: -18pt;"><span lang="EN-US" style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
Symbol;mso-ansi-language:EN-US"><span style="font-variant-numeric: normal; font-variant-east-asian: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: &quot;Times New Roman&quot;;">&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;</span></span><!--[endif]--><span lang="EN-US">Git:
Digitalis source code is backup and stored in a code repository manage by Git,
an open source version control system hosted by Cerebellis. The list of
modifications to be released are also tracked with Git.<o:p></o:p></span></li></ul>