Revision 5832c709
ID | 5832c709e2d3733217bdeb7c15143855cda65e1b |
Parent | 7b7d1332 |
Child | 898181d4 |
feature #1568: show all help if when the command is not known
Files
- added
- modified
- copied
- renamed
- deleted
ID | 5832c709e2d3733217bdeb7c15143855cda65e1b |
Parent | 7b7d1332 |
Child | 898181d4 |
Added by Javi Fontan over 8 years ago
feature #1568: show all help if when the command is not known