]>
| 2020-07-15 | Robert Rostohar | Merge branch 'develop' | tree | commitdiff |
| 2019-12-02 | Robert Rostohar | Update documentation hosted on github 1.4.0 | tree | commitdiff |
| 2019-12-02 | Robert Rostohar | Merge branch 'develop' | tree | commitdiff |
| 2019-10-04 | Joachim Krech | fixed release history | tree | commitdiff |
| 2019-10-04 | Joachim Krech | minor documentation fix: Merge branch 'develop' | tree | commitdiff |
| 2019-10-04 | Joachim Krech | added missing redirect 1.3.0 | tree | commitdiff |
| 2019-10-04 | Joachim Krech | updated docs | tree | commitdiff |
| 2019-10-04 | Joachim Krech | merge master | tree | commitdiff |
| 2019-02-21 | Joachim Krech | added missing index file for online docs | tree | commitdiff |
| 2019-02-21 | Joachim Krech | adding docs folder with content | tree | commitdiff |