2020-12-11 22:55:28 -08:00
|
|
|
#!/bin/bash
|
2020-12-13 13:24:31 -08:00
|
|
|
[[ ! $GITEA_DIR ]] && export GITEA_DIR="$(dirname "$(cd "$(readlink -f "$BASH_SOURCE")"; pwd -P)")"
|
2020-12-11 22:55:28 -08:00
|
|
|
source $GITEA_DIR/scripts/library
|
|
|
|
|
2020-12-13 13:24:31 -08:00
|
|
|
download_bin "$@"
|