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
..
bookkeeping	Add email and autoupdate field to database	2020-10-14 18:59:41 +02:00
docker-env	Add support for an overrides file	2021-01-18 13:29:09 +01:00
repository	graphdb: Update api usage for 10.x	2022-07-11 15:49:39 +02:00