summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-06-01 10:44:35 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:42 +0200
commit93dcdd52c7809baac22f2683fb5c5c3b7a2c2a65 (patch)
tree2e89a9ba7738a7b6cb135ad88988b3c7a877bde8 /.gitignore
parent84fe8c44b608d6f8b412d481f4a27e7dac965201 (diff)
fix rdfs:disjointWith -> owl:dijointWith
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions