]>
| 2019-12-04 | Vladimir Umek | Merge branch 'develop' | blob | commitdiff | raw |
| 2019-04-12 | Robert Rostohar | Merge branch 'develop' v10.2.0 | blob | commitdiff | raw |
| 2019-04-12 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw |
| 2018-02-22 | Jonatan Antoni | Merge remote-tracking branch 'remotes/origin/develop' | blob | commitdiff | raw |
| 2017-08-11 | Jonatan Antoni | Merge branch 'develop' | blob | commitdiff | raw |
| 2017-03-13 | Joachim Krech | renamed Docs to docs v9.0.0 | blob | commitdiff | raw |