diff options
| author | David Aspinall | 1998-12-17 17:46:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-17 17:46:54 +0000 |
| commit | 6f6ad6c69bacb4ae577b3a7ca9774a20da3ee8fc (patch) | |
| tree | fe56672c3907c25d199ae61b723f3d6fd097c942 /generic/proof-toolbar.el | |
| parent | 8133366d9d9185175a24debcc20225206b373653 (diff) | |
Removed a todo. This version submitted for Texinfo.
Diffstat (limited to 'generic/proof-toolbar.el')
0 files changed, 0 insertions, 0 deletions