diff options
| author | Peter Amstutz | 2020-07-08 20:16:42 +0000 |
|---|---|---|
| committer | Peter Amstutz | 2020-07-08 20:16:42 +0000 |
| commit | cd25f56f4d9aea1d30cc17ee923a6d8dd6c63e5a (patch) | |
| tree | fbdf892a2db5084c0dd2394216f7aefbfb5fa67d /scripts/update_virtuoso | |
| parent | 46e28c1d5da1c242fe49e5e5d6fdcae7dc544070 (diff) | |
| download | bh20-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