diff options
| author | David Aspinall | 2002-11-18 23:08:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-18 23:08:45 +0000 |
| commit | 0c4d7e6e96bfc798a2663de2d2a21c654b756175 (patch) | |
| tree | 6d26da49fc4d2a349320c03af86ba98580b80957 /html/feedback.php | |
| parent | 6d370b65e8cca8a488b7c9140c0ecad668a5de56 (diff) | |
Support redefinitions in proof-defpacustom-fn, by removing custom settings.
Diffstat (limited to 'html/feedback.php')
0 files changed, 0 insertions, 0 deletions