Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
lots of people not used to download from github ask wich file to download lots of times. We upload the sime file twice in all cases. as for tagged releases. only leave explicitly tagged files since these tags are not generated again
- Loading branch information