Skip to content

Tool to convert IDs #267

Open
proost opened this issue Oct 26, 2017 · 0 comments
Open

Tool to convert IDs #267

proost opened this issue Oct 26, 2017 · 0 comments

Comments

@proost
Copy link
Owner

proost commented Oct 26, 2017

Bulk downloads will allow this to some extent, might be a nice addition if there is time

@proost proost added this to the CoNekT 2.0 milestone Nov 9, 2017
Sign in to join this conversation on GitHub.
Projects
None yet
Development

No branches or pull requests

1 participant