diff options
| author | Makarius Wenzel | 2000-09-21 13:21:02 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-21 13:21:02 +0000 |
| commit | fb8430c7ee8f78e006a7d4c1185c37ec8c2ec9b0 (patch) | |
| tree | 031007d25f2d6fd251a6381ce6a03af2a5b92c85 /generic | |
| parent | aa4c6c3dcb6c4f6ae6b239a7eb4e182ace18283e (diff) | |
** D support proof-next-error?
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions