Changeset 664 for trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDprintTrieDot.java
- Timestamp:
- 08/28/12 13:33:23 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDprintTrieDot.java
r434 r664 28 28 */ 29 29 @Override 30 public voidhelp() {31 Console.println("Usage: printTreeDot <modelname>");30 public String help() { 31 return "printTreeDot <modelname>"; 32 32 } 33 33
Note: See TracChangeset
for help on using the changeset viewer.