diff options
| author | krasimir <krasimir@chalmers.se> | 2008-10-15 07:47:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-10-15 07:47:57 +0000 |
| commit | 5f33e0bda955c66aa81356c6636ec65d9a40bc2e (patch) | |
| tree | 2500b5ba571901235a944a4a832532f17aeb98ca /src/GF/Source | |
| parent | 57ee52103dcccbcda75b895ea399e230e18d0a92 (diff) | |
store the total number of PMCFG categories in the PGF file
Diffstat (limited to 'src/GF/Source')
0 files changed, 0 insertions, 0 deletions