diff options
| author | David Aspinall | 2000-09-08 13:30:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-08 13:30:56 +0000 |
| commit | 10f195216526bd8fc993527d95b0534c5a4f62c7 (patch) | |
| tree | 1d5d731778cf3dc720279a4197612a978e6d5efd /html/header.phtml | |
| parent | 1775cd0015fff527c9fe34c21900cfd87838d425 (diff) | |
Fix obscure problem with proof-segment-upto-cmdstart with buggy input.
Diffstat (limited to 'html/header.phtml')
0 files changed, 0 insertions, 0 deletions