diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2024-08-05 19:03:21 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2024-08-05 19:03:21 +0200 |
| commit | 77189d666eb39d2660245c2f008175dc4560f647 (patch) | |
| tree | fbd07f059b5da70c813526047f16464f7e4d745f /log | |
| parent | 1b58327278038a1111a88c521e6992c15e0b17ea (diff) | |
Fix a bug introduced by the last commit
Diffstat (limited to 'log')
0 files changed, 0 insertions, 0 deletions