This repository has been archived by the owner on Dec 5, 2023. It is now read-only.

Can we delete this repo #2

Open

durack1 opened this issue Feb 24, 2018 · 1 comment

Member

durack1 commented Feb 24, 2018

@martinjuckes it seems this repo is no longer in use, I'm doing some cleaning up, so am wondering if I can purge this?

Member Author

durack1 commented Nov 7, 2023

@zklaus this is a candidate for deletion - hasn't been touched in years and I assume none of the contents are useful

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