diff options
author | 2000-09-18 14:26:28 +0000 | |
---|---|---|
committer | 2000-09-18 14:26:28 +0000 | |
commit | c5718550f82280bf26ade613eb4ef2b8d3364636 (patch) | |
tree | 3e52379884d31bab9bd54469a358620802441973 /images/qed.xpm | |
parent | e7d7e7e44f2ef8563a3eada5c994fdeeeb56f42e (diff) |
Get rid of proof-segment-up-to-old.
Diffstat (limited to 'images/qed.xpm')
0 files changed, 0 insertions, 0 deletions