diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-06-02 13:02:51 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
commit | de76e27acef79665cd341bdeef084678b5b2bbd1 (patch) | |
tree | 517ef0e3592ac64215aee7d915cea594db675f64 /annot/definition | |
parent | 82edda0dc66a72e70721ad07accbcd1ce4fe05bc (diff) |
minor clarification
Diffstat (limited to 'annot/definition')
0 files changed, 0 insertions, 0 deletions