diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-06-26 12:19:30 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-06-26 12:19:30 +0000 |
| commit | 7eaa2af27c2b5db7eb1ec713cbdb5f115e871667 (patch) | |
| tree | 7db37310bf1bc2d0c0a96ab90af4731921a5b9dd /examples/regulus | |
| parent | 8e012e656d446e423fe0132f98e29a561c80a12c (diff) | |
Produce less verbose SRGS XML, by eliminating redundant item tags.
Diffstat (limited to 'examples/regulus')
0 files changed, 0 insertions, 0 deletions