diff options
| author | Makarius Wenzel | 2000-03-23 20:19:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-03-23 20:19:14 +0000 |
| commit | 4c4d187ab372d7433a7a80eb9aa521f9bb9db4e0 (patch) | |
| tree | 8576a1524adc0e364a126beb3e904ab8159b679e /html | |
| parent | 1f47fa17959174e05904eae19abd4c23930d56ff (diff) | |
removed 'kill_proof';
added 'variables';
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions