commit 6773b3543653e76d2bbfa30578352fb49236cf14 parent 986185fe2abb331aa6a253130ceebb7978fdfbe1 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Tue, 23 May 2017 11:10:25 +0200 remove unliked * from currency name in per-user settlements Diffstat:
| M | bootstrap-standalone | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bootstrap-standalone b/bootstrap-standalone @@ -10,7 +10,7 @@ set -eu ENVNAME=$USER BRANCH=master -CURRENCY=$(echo "*KUDOS-$USER" | cut -c 1-12) +CURRENCY=$(echo "KUDOS-$USER" | cut -c 1-12) cd $HOME