summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-04-28 09:54:02 +0200
committerJonas Smedegaard <dr@jones.dk>2024-04-28 09:54:02 +0200
commita11d7fdf8277d0a340238fb16b75dcc75b6bcc5c (patch)
treeb5c1dd9fafef9e477a6e56bab8382c2824a6b6b6 /.gitignore
parentd28f24cc6473d6279584cce203bc9e102f65a324 (diff)
generalize ontology targets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions