source:
app/src/dgp/cmdline_dgp.ggo
@
9b57c4d
Last change on this file since 9b57c4d was df77b87, checked in by obrebski <obrebski@…>, 17 years ago | |
---|---|
|
|
File size: 355 bytes |
Line | |
---|---|
1 | package "dgp" |
2 | version "0.1" |
3 | |
4 | option "grammar" g "Grammar file" |
5 | string typestr="filename" default="dgp.dgp" |
6 | |
7 | option "long" l "Long output" |
8 | flag off |
9 | |
10 | option "debug" d "Debug mode." |
11 | flag off |
12 | |
13 | option "info" - "Print info. |
14 | h - heads d - dependents |
15 | s - sets |
16 | c - constraints n - node/arc counts t - parse time |
17 | " |
18 | string no default="h" |
Note: See TracBrowser
for help on using the repository browser.