aboutsummaryrefslogtreecommitdiff
path: root/tools/git
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-08-29 17:25:15 +0200
committerJonas Smedegaard <dr@jones.dk>2024-08-29 17:35:52 +0200
commitcf6c637d93a0330cc2b9fe55c441c5598086cef1 (patch)
treeb7dadb45436cbe28c9817114e740a62c92ee98d8 /tools/git
parenta5ebf93d7ce59063922ebe16c00baf601839b3bf (diff)
tighten ontology mangling: stricten owl:import matching
Diffstat (limited to 'tools/git')
0 files changed, 0 insertions, 0 deletions