diff options
author | Pjotr Prins | 2020-04-19 12:21:26 -0500 |
---|---|---|
committer | GitHub | 2020-04-19 12:21:26 -0500 |
commit | 065b089ae034313c2e057647e494f4fb39331e03 (patch) | |
tree | 9dd6b8b31d68c7a1010e812fd802d78b8480ce26 /scripts/update_virtuoso | |
parent | c4ba1c7b868b2b9b2b7c7b4f87e2856409b1767d (diff) | |
parent | 96409bac49eafa1f797a667e662efeb0431383f7 (diff) | |
download | bh20-seq-resource-065b089ae034313c2e057647e494f4fb39331e03.tar.gz bh20-seq-resource-065b089ae034313c2e057647e494f4fb39331e03.tar.lz bh20-seq-resource-065b089ae034313c2e057647e494f4fb39331e03.zip |
Merge pull request #27 from AndreaGuarracino/patch-7
updated term-mapping dictionaries
Diffstat (limited to 'scripts/update_virtuoso')
0 files changed, 0 insertions, 0 deletions