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

Remove unneeded stuff in scripts #58

Open

bassosimone opened this issue Feb 1, 2016 · 0 comments

Milestone

Member

bassosimone commented Feb 1, 2016

No description provided.

bassosimone added this to the release-0.5.1 milestone

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