Branches
| Name | Last commit date | Author |
| master | 2025-10-16 18:21 | Christian Grothoff |
Tags
| Name | Last commit date | Author |
| v1.13 | 2023-12-05 08:19 | Christian Grothoff |
| v1.12 | 2023-12-02 13:16 | Christian Grothoff |
| v1.11 | 2021-01-30 14:27 | Christian Grothoff |
| v1.10 | 2020-07-02 14:00 | Christian Grothoff |
| v1.8 | 2018-11-18 10:19 | Christian Grothoff |
| v1.7 | 2018-07-12 20:32 | Christian Grothoff |
| v1.6 | 2017-10-15 19:37 | Christian Grothoff |
| v1.4 | 2017-06-10 12:18 | Christian Grothoff |