Ignore:
Timestamp:
03/13/12 17:07:34 (13 years ago)
Author:
Tomasz Obrebski <to@…>
Branches:
master
Children:
f4bf33e
Parents:
abd28d1
git-author:
Tomasz Obrebski <to@…> (03/13/12 17:07:34)
git-committer:
Tomasz Obrebski <to@…> (03/13/12 17:07:34)
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/dgp/cmdline_dgp.ggo

    r5f4d9c3 ra15e59b  
    1111                                flag off 
    1212 
     13option  "time"          -       "Print parse time." 
     14                                flag off 
     15 
    1316option  "info"          -       "Print info.  
    14 h - heads         d - dependents 
    15 s - sets 
    16 c - constraints   n - node/arc counts   t - parse time 
    17 " 
     17                                       h - heads         d - dependents 
     18                                       s - sets 
     19                                       c - constraints    n - node/arc counts" 
    1820string no default="h" 
Note: See TracChangeset for help on using the changeset viewer.