Closed pedrib closed 7 years ago
This PR does the following:
Binaries are better suited in "releases", they clutter the git repo otherwise.
agree with @trou about the binaries but let's keep for now.
Also agree, binaries should be removed from the repo and put in releases.
This PR does the following: