Age | Commit message (Expand) | Author |
---|---|---|
2020-05-13 | Virtuoso: split named graphs | Pjotr Prins |
2020-05-12 | Virtuoso uploader: does not delete graph yet | Pjotr Prins |
2020-05-12 | Update graph script | Pjotr Prins |
2020-04-24 | Add script that updates Virtuoso - run as a CRON job | Pjotr Prins |