aboutsummaryrefslogtreecommitdiff
path: root/docs/deps
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2024-08-05 19:03:21 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2024-08-05 19:03:21 +0200
commit77189d666eb39d2660245c2f008175dc4560f647 (patch)
treefbd07f059b5da70c813526047f16464f7e4d745f /docs/deps
parent1b58327278038a1111a88c521e6992c15e0b17ea (diff)
Fix a bug introduced by the last commitHEADmain
Diffstat (limited to 'docs/deps')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint