diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-06-02 12:55:53 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
| commit | 5b35db300969316866ecc6ce1809aa3ddb6a2d63 (patch) | |
| tree | cda61f2657c4c1535bd8b6bd75231a899d46971d /annot/definition | |
| parent | 9bec5da705ecd19bdbccb7b1e4500569decdd5e7 (diff) | |
avoid unsubstantiated necessity
Diffstat (limited to 'annot/definition')
0 files changed, 0 insertions, 0 deletions