diff --git a/toolforge/manage.sh b/toolforge/manage.sh old mode 100644 new mode 100755