diff --git a/console/plugin.jelly b/console/plugin.jelly index 088b37db..25d8ee4b 100644 --- a/console/plugin.jelly +++ b/console/plugin.jelly @@ -36,12 +36,12 @@ -${ex} +${ex} -Bye ! +Bye ! @@ -49,10 +49,12 @@ Bye ! -${listGoal.name} +${listGoal.name} + + The following commands are available: list - list all available goals @@ -60,5 +62,6 @@ The following commands are available: <goalname> - attain a goal quit - quits the console +