This repository has been archived by the owner on Mar 24, 2018. It is now read-only.

time to "Delete this repository"? #15

Open

erictheise opened this issue Mar 23, 2018 · 1 comment

Contributor

erictheise commented Mar 23, 2018

Seems this has been supplanted by a new repo feeding into a revamped site, so why not take this one out back and ...

Collaborator

ARolek commented Mar 23, 2018

I agree! Will get it done.

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