diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2023-11-01 16:34:03 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2023-11-01 16:34:03 +0100 |
| commit | c03fc9fbacf38a32d2671d78551301189920f8e1 (patch) | |
| tree | ac78079f96e278a6ef3522b63181a41bfa750b51 /proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star | |
| parent | ef81c352b63ec5dd68b42fb2bbefdfc9b6d7f3d2 (diff) | |
comment out empty section on data ethics
Diffstat (limited to 'proof/user@source.xn--abcdefghijklmnopqrstuvxyz-0fc0a81c.dk:ruc5star')
0 files changed, 0 insertions, 0 deletions