This repository has been archived by the owner on Jul 20, 2020. It is now read-only.

`basenames` and `extensions` need to be updated #11

Open

ianfixes opened this issue May 24, 2016 · 0 comments

Labels

Contributor

ianfixes commented May 24, 2016

No description provided.

ianfixes added the manticore-gen label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.