| 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ß | |
