summaryrefslogtreecommitdiff
path: root/databases/virtuoso/options.mk
AgeCommit message (Expand)AuthorFilesLines
2022-03-31remove virtuoso - marked BROKEN for nearly 2 yearsnia1-28/+0
2019-11-02databases: align variable assignmentsrillig1-3/+3
2013-04-13Added the virtuoso server, version 6.1.6.jaapb1-0/+28