diff options
| author | Makarius Wenzel | 2000-10-02 23:22:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-02 23:22:30 +0000 |
| commit | ac4cc90efcfdd6335dd80339eedead6c6c6c5552 (patch) | |
| tree | b2e45eb91a99bab80f12ac8c76fc09bc4aade628 /html | |
| parent | edaf959bb80e721cd651fb23e55caccb7b04837d (diff) | |
added settings: eta-contract, goals-limit, prems-limit;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions