diff options
| author | aarne <aarne@chalmers.se> | 2012-01-14 17:06:54 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-01-14 17:06:54 +0000 |
| commit | 85d777e068cbcb822f31b496f00bd86925ad6ee5 (patch) | |
| tree | 6a190a10511cee507a2493df7483680dadfdd038 /eclipse/release/plugins | |
| parent | 0cda1b3a9a4606d69bd79a953cbe339eb150f8ff (diff) | |
sorted the list of funs and cats in GrammatToPGF to get the predef categories in proper place and get gr, ai, gt work properly
Diffstat (limited to 'eclipse/release/plugins')
0 files changed, 0 insertions, 0 deletions