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

Update miners via dropbox or similar #5

Open

felixbrucker opened this issue Feb 9, 2018 · 0 comments

Labels

Owner

felixbrucker commented Feb 9, 2018

Git repos are not suited for large files which do not need a history

felixbrucker added the enhancement label

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