Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-30 | Split some functionality off update.sh | Einhard Leichtfuß | |
Such that it may be used by the to be bettered make_install.sh. In particular, the latter is supposed to work for both non-vcs source and binary packages. Also add a main() method to update.sh. | |||
2018-03-29 | Upload tools for the source (non-vcs) versions | Einhard Leichtfuß | |