]>
| 2022-07-15 | Milorad Cvjetkovic | Merge branch 'develop' 3.0.0 | blob | commitdiff | raw |
| 2020-07-15 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw |
| 2019-12-02 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw |
| 2019-10-04 | Joachim Krech | minor documentation fix: Merge branch 'develop' | blob | commitdiff | raw |
| 2019-10-04 | Joachim Krech | added missing redirect 1.3.0 | blob | commitdiff | raw |
| 2019-10-04 | Joachim Krech | merge master | blob | commitdiff | raw |
| 2019-02-21 | Joachim Krech | added missing index file for online docs | blob | commitdiff | raw | diff to current |