]>
| 2019-04-12 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw |
| 2018-02-22 | Jonatan Antoni | Doc: Updated documentation for release 10.0.1 | blob | commitdiff | raw |
| 2018-02-22 | Jonatan Antoni | Merge remote-tracking branch 'remotes/origin/develop' | blob | commitdiff | raw | diff to current |
| 2017-08-11 | Jonatan Antoni | Updated documentation for release. v9.1.0 | blob | commitdiff | raw | diff to current |
| 2017-08-11 | Jonatan Antoni | Merge branch 'develop' | blob | commitdiff | raw | diff to current |
| 2017-03-13 | Joachim Krech | renamed Docs to docs v9.0.0 | blob | commitdiff | raw | diff to current |