Changeset 3748bd1 for app/src/dgp/cmdline_dgp.ggo
- Timestamp:
- 05/09/08 10:38:46 (17 years ago)
- Branches:
- master, help
- Children:
- 6ac84d8
- Parents:
- 9b57c4d
- git-author:
- obrebski <obrebski@…> (05/09/08 10:38:46)
- git-committer:
- obrebski <obrebski@…> (05/09/08 10:38:46)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
app/src/dgp/cmdline_dgp.ggo
rdf77b87 r3748bd1 3 3 4 4 option "grammar" g "Grammar file" 5 string typestr="filename" default="dgp.dgp"5 string no typestr="filename" 6 6 7 7 option "long" l "Long output"
Note: See TracChangeset
for help on using the changeset viewer.