Closed sennierer closed 1 year ago
In GitLab by @PhilipRoeggla on May 3, 2022, 11:33
Merges 56-print-detail-lemma -> dev-backup
[skip ci], Issue #56
Closes #56
In GitLab by @PhilipRoeggla on May 3, 2022, 11:34
mentioned in commit e1dc8af4f46d4188f887788a93c4ede2139f83ec
In GitLab by @PhilipRoeggla on May 3, 2022, 11:33
Merges 56-print-detail-lemma -> dev-backup
[skip ci], Issue #56
Closes #56