]>
| 2020-07-15 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw |
| 2019-12-02 | Robert Rostohar | Update documentation hosted on github 1.4.0 | blob | commitdiff | raw |
| 2019-12-02 | Robert Rostohar | Merge branch 'develop' | blob | commitdiff | raw | diff to current |
| 2019-10-04 | Joachim Krech | minor documentation fix: Merge branch 'develop' | blob | commitdiff | raw | diff to current |
| 2019-10-04 | Joachim Krech | updated docs | blob | commitdiff | raw | diff to current |