]> git.pld-linux.org Git - packages/virtuoso.git/history - virtuoso-destdir.patch
projects / packages / virtuoso.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- up to 6.1.8
[packages/virtuoso.git] / virtuoso-destdir.patch
2012-06-24 aredridel- add DESTDIR Support to dirs missing it blob | commitdiff | raw
OpenLink Virtuoso Database System
This page took 0.092336 seconds and 7 git commands to generate.