summaryrefslogtreecommitdiff
path: root/src/GF/Command
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-11-07 16:30:56 +0000
committeraarne <aarne@cs.chalmers.se>2007-11-07 16:30:56 +0000
commit947949648f3dacffa2bb075e1bd561ba31760908 (patch)
tree8573f08513bcd59613df8fc9d0a382fd17090f53 /src/GF/Command
parent0be4e801f45e7ec4b2d75575c0cf36053cc62754 (diff)
added fields for global options and showable lincats to gfcc
Diffstat (limited to 'src/GF/Command')
0 files changed, 0 insertions, 0 deletions