diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-05 08:35:33 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-05 08:35:33 +0000 |
| commit | ee3ce9694c134d697bf3fa6b8910c7d863f84dab (patch) | |
| tree | 408e9d0b6e89db9a2cec05dcb460910f958a91c6 /src/server | |
| parent | 3ed19a482e796b0a62d234ec9ffd1981d5fee64e (diff) | |
store the label names in PMCFG
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions