diff options
| author | bjorn <bjorn@bringert.net> | 2008-05-09 12:40:16 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-05-09 12:40:16 +0000 |
| commit | f17addbcd3735f7bb27a2c1df090f5f2c68b8ce8 (patch) | |
| tree | c02be05eac6754094c1e4d9b5b6874eff5a61b99 /src-3.0/JavaGUI2/de/uka/ilkd | |
| parent | acebf7c912cae34ffeef1b911e9cc0a6a6b4c0ba (diff) | |
grammars/health/HealthRus.gf: comment out the linearizations of functions that are commented out in Health.gf. HealthRus now compiles (against resource-0.6).
Diffstat (limited to 'src-3.0/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions