Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
wiki:documentation:devguide [2016/03/08 18:02] gribeiro [Core Modules] |
wiki:documentation:devguide [2016/07/26 16:15] gribeiro [Downloading the Source Code and Building Instructions] |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| - [[:wiki:documentation:devguide:dependencies|Dependencies]] | - [[:wiki:documentation:devguide:dependencies|Dependencies]] | ||
| - [[:wiki:documentation:devguide:build|Build Instructions]] | - [[:wiki:documentation:devguide:build|Build Instructions]] | ||
| + | - [[:wiki:documentation:devguide:gitlab|Using GitLab]] | ||
| - [[:wiki:documentation:devguide:fromwheretoget|Summary: From Where to Get What You Need]] | - [[:wiki:documentation:devguide:fromwheretoget|Summary: From Where to Get What You Need]] | ||
| Line 21: | Line 22: | ||
| ==== Core Modules ==== | ==== Core Modules ==== | ||
| - | * [[:wiki:documentation:devguide:core|Core]] | + | |
| * [[:wiki:documentation:devguide:srs_module|SRS]] | * [[:wiki:documentation:devguide:srs_module|SRS]] | ||
| * [[:wiki:documentation:devguide:geometry_module|Geometry]] | * [[:wiki:documentation:devguide:geometry_module|Geometry]] | ||
| Line 45: | Line 46: | ||
| * [[:wiki:documentation:devguide:tips|General Tips for Developers]] | * [[:wiki:documentation:devguide:tips|General Tips for Developers]] | ||
| * [[:wiki:documentation:devguide:bugs|Reporting Bugs]] | * [[:wiki:documentation:devguide:bugs|Reporting Bugs]] | ||
| + | * [[:wiki:documentation:devguide:gitlab_ci|GitLab-CI]] | ||
| + | * [[:wiki:documentation:devguide:jenkins|Jenkins]] | ||
| + | |||
