aboutsummaryrefslogtreecommitdiff
path: root/scripts/update_virtuoso
AgeCommit message (Collapse)Author
2020-05-13Virtuoso: split named graphsPjotr Prins
2020-05-12Virtuoso uploader: does not delete graph yetPjotr Prins
2020-05-12Update graph scriptPjotr Prins
2020-04-24Add script that updates Virtuoso - run as a CRON jobPjotr Prins