diff options
| -rwxr-xr-x | exemple11 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ # jeu du nombre mystérieux #set -x function aide(){ - echo "Usage: $(basename $0) [-h] [-l limite]" + echo "Usage: $(basename $0) [-h] [-l limite]" exit } |
