]>
| 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 |
| 2019-10-04 | Joachim Krech | merge master | blob | commitdiff | raw |
| 2019-02-21 | Joachim Krech | adding docs folder with content | blob | commitdiff | raw | diff to current |