Changeset 179
- Timestamp:
- 09/10/11 01:09:28 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java
r171 r179 66 66 @Override 67 67 public void help() { 68 Console.println("Usage: listStates <modelName> ");68 Console.println("Usage: listStates <modelName> {<sort>}"); 69 69 } 70 70
Note: See TracChangeset
for help on using the changeset viewer.