source: src/dgp/cmdline_dgp.ggo

Last change on this file was a15e59b, checked in by Tomasz Obrebski <to@…>, 13 years ago

dodana opcja --time w dgp, poprawione przesy�anie b�belk�w, obsluga &LEFT, &RIGHT

  • Property mode set to 100644
File size: 409 bytes
Line 
1package "dgp"
2version "0.1"
3
4option  "grammar"       g       "Grammar file"
5                                string no typestr="filename"
6
7option  "long"          l       "Long output"
8                                flag off
9
10option  "debug"         d       "Debug mode."
11                                flag off
12
13option  "time"          -       "Print parse time."
14                                flag off
15
16option  "info"          -       "Print info.
17                                       h - heads         d - dependents
18                                       s - sets
19                                       c - constraints    n - node/arc counts"
20string no default="h"
Note: See TracBrowser for help on using the repository browser.