diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-08-29 17:25:15 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-08-29 17:35:52 +0200 |
| commit | cf6c637d93a0330cc2b9fe55c441c5598086cef1 (patch) | |
| tree | b7dadb45436cbe28c9817114e740a62c92ee98d8 /tools/git | |
| parent | a5ebf93d7ce59063922ebe16c00baf601839b3bf (diff) | |
tighten ontology mangling: stricten owl:import matching
Diffstat (limited to 'tools/git')
0 files changed, 0 insertions, 0 deletions