diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-06-01 18:05:24 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
| commit | f114390fd935c4884dcbb89b12d99fbd82abf01c (patch) | |
| tree | a2367df9507d76651ae6c2b190314ffe7bb5c6b5 /.gitignore | |
| parent | 01f066dc3caabdaf854f0601ea2c238d22226afc (diff) | |
add annotation addendum for tags ontology reflection, via make target annot-all
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions