summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-06-01 18:05:24 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:42 +0200
commitf114390fd935c4884dcbb89b12d99fbd82abf01c (patch)
treea2367df9507d76651ae6c2b190314ffe7bb5c6b5 /.gitignore
parent01f066dc3caabdaf854f0601ea2c238d22226afc (diff)
add annotation addendum for tags ontology reflection, via make target annot-all
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions