diff options
author | 2000-05-01 18:40:35 +0000 | |
---|---|---|
committer | 2000-05-01 18:40:35 +0000 | |
commit | dc7af5fb2c02eb960815e01741b9d2cb59c3844e (patch) | |
tree | df698d481a2a07bfdf311e435455de252892eea3 /generic/proof-shell.el | |
parent | dfeca5a2b6738b2d27f993fb2c3c8493a255df66 (diff) |
Cease mentioning plastic.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions