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 |
|
Tom Wiesing
|
d10a359b49
|
purge.sh: Try without trailing '/'s
|
2022-03-08 13:16:13 +01:00 |
|
Tom Wiesing
|
1f71c8d4b1
|
purge.sh: Delete repo first, then user
|
2022-03-08 13:10:39 +01:00 |
|
Tom Wiesing
|
a76a4d3a0d
|
Add GraphDB Authorization flags
|
2020-10-08 17:19:39 +02:00 |
|
Tom Wiesing
|
d68c0f3e75
|
Make scripts executable
|
2020-06-28 12:29:44 +02:00 |
|
Tom Wiesing
|
76ef5d8e68
|
Switch to using Docker
This commit refactors all code in this project to make use of docker.
This has not yet been documented properly.
|
2020-06-26 12:54:47 +02:00 |
|