diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-11-23 06:17:28 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-11-23 06:17:28 +0100 |
| commit | 43af185533b11327368148a44e9295ea3eb3abb1 (patch) | |
| tree | e0100fd009a2bd8c6d09e9680c60f4a4bbac391c /docs/dev | |
| parent | a1b5d63e031d22b190e9e9fc30753b699ad6b4ea (diff) | |
Bump version, fix test from last commit, check and test
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions