diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-01-31 21:16:03 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-01-31 21:16:03 +0100 |
| commit | 3ec23b248e378ea338dece46f5fc0fc82a2edcab (patch) | |
| tree | c1556e056fe925a47c527b167e4990645a805348 /proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star | |
| parent | 7d856c134bb2e27c8585e252f5ee685e9c0dcbec (diff) | |
extend notes on services
Diffstat (limited to 'proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star')
0 files changed, 0 insertions, 0 deletions