K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-03-25T12:17:39.600437Z
K 7
svn:log
V 235
databases/virtusos: remove entire hosting directory

When I tested the fix to virtuoso, the directory was empty, but according
to a report, it isn't always.  Change rmdir to rm -rf so the port
builds in all cases.  No bump necessasry.

END