diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-08-29 17:38:07 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-08-29 17:38:07 +0200 |
| commit | f2bf2b72b4dcc25da1513828345482a92f789b5e (patch) | |
| tree | 134e74834933947a8fac6294071931ecf8c4fe53 /.gitignore | |
| parent | 9af3b07382c69fbd9253e6cae6211d756397c76f (diff) | |
tighten ontology mangling: strip excess tailing whitepspace
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions