diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-10-17 10:48:07 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-10-17 10:48:07 +0200 |
| commit | ef81c352b63ec5dd68b42fb2bbefdfc9b6d7f3d2 (patch) | |
| tree | e02b58d0415a1367b341e02325276604842e8d0e /proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star | |
| parent | e719ef52924af787941a7c849504448ab9716f66 (diff) | |
fix: typo in link description
Diffstat (limited to 'proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star')
0 files changed, 0 insertions, 0 deletions