diff options
author | 2000-03-19 06:41:10 +0000 | |
---|---|---|
committer | 2000-03-19 06:41:10 +0000 | |
commit | 5ef0dfc6bc323f84aa8d47359d89c9057545f202 (patch) | |
tree | 0d3a6c09d13f1997a32b3b54499cde091f802e44 /html/about.phtml | |
parent | 1aea7fca0334e89fbcf69cc7477589e4118b3ebe (diff) |
Added menu entry for proof-undo-and-delete-last-successful-command
Diffstat (limited to 'html/about.phtml')
0 files changed, 0 insertions, 0 deletions