diff options
| author | bringert <unknown> | 2005-06-22 11:54:57 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-06-22 11:54:57 +0000 |
| commit | ae2627ff5b19f1704f4e1e1b765db9071b2f022f (patch) | |
| tree | 32bc36c16e5ff37f19a7d067c5314ed965aece6c /src/JavaGUI2/de/uka/ilkd/key | |
| parent | 20f694b8e9ceb404665c2a762eb84f4db4dbe659 (diff) | |
Fixed some formatting errors in the rpm spec.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd/key')
0 files changed, 0 insertions, 0 deletions