diff options
| author | aarne <unknown> | 2005-06-30 07:35:01 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-06-30 07:35:01 +0000 |
| commit | cbb34f65188e6adccb71b302c5d0eeac2b508c6a (patch) | |
| tree | db2bc06dd1a4f6ff95432f2772014efc504a94bf /src/JavaGUI2/de/uka/ilkd/key/ocl | |
| parent | 4a0abcaf1fbfb799a14f3f57ab6180d4b03d551c (diff) | |
work on Finnish
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd/key/ocl')
0 files changed, 0 insertions, 0 deletions