aboutsummaryrefslogtreecommitdiff
path: root/scripts/update_virtuoso
diff options
context:
space:
mode:
authorPeter Amstutz2020-07-08 20:16:42 +0000
committerPeter Amstutz2020-07-08 20:16:42 +0000
commitcd25f56f4d9aea1d30cc17ee923a6d8dd6c63e5a (patch)
treefbdf892a2db5084c0dd2394216f7aefbfb5fa67d /scripts/update_virtuoso
parent46e28c1d5da1c242fe49e5e5d6fdcae7dc544070 (diff)
downloadbh20-seq-resource-cd25f56f4d9aea1d30cc17ee923a6d8dd6c63e5a.tar.gz
bh20-seq-resource-cd25f56f4d9aea1d30cc17ee923a6d8dd6c63e5a.tar.lz
bh20-seq-resource-cd25f56f4d9aea1d30cc17ee923a6d8dd6c63e5a.zip
Add --revalidate and fix checking/updating properties.
Diffstat (limited to 'scripts/update_virtuoso')
0 files changed, 0 insertions, 0 deletions