diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-15 16:09:58 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-15 16:09:58 +0000 |
| commit | 215bf61115a1b78c6466830c89574091459bebdb (patch) | |
| tree | 0c54ecb6ae408f316fea227ca6e202930fab5929 /src/JavaGUI2/de/uka | |
| parent | 1e1401472fdc55ba8f208baa7f07e2a4a3cb906c (diff) | |
Towards smaller SRGs when lots of variants are used.
Diffstat (limited to 'src/JavaGUI2/de/uka')
0 files changed, 0 insertions, 0 deletions