Tom Wiesing 18c4957e30 graphdb: Update api usage for 10.x ... This commit updates the usage of the GraphDB API for version 10.0 or later.		2022-07-11 15:49:39 +02:00
..
graphdb-repo.ttl	graphdb: Update api usage for 10.x	2022-07-11 15:49:39 +02:00
graphdb-user.json	graphdb: Update api usage for 10.x	2022-07-11 15:49:39 +02:00