From 853420fc89fac0b3158c7cb626095fd96acf359c Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Fri, 1 Jul 2011 09:30:03 +0200 Subject: [PATCH] "release" is not allowed to be used by users. Un-document it. --- all | 1 - 1 file changed, 1 deletion(-) diff --git a/all b/all index 66d20aba..948d0323 100755 --- a/all +++ b/all @@ -2014,7 +2014,6 @@ case "$cmd" in $ECHO " $SELF keygen" $ECHO " $SELF merge" $ECHO " $SELF push|commit [-s]" - $ECHO " $SELF release" $ECHO " $SELF restore-patches" $ECHO " $SELF run [sdl|glx|wgl|agl|dedicated] options..." $ECHO " $SELF save-patches" -- 2.39.2