diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:12:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:12:59 +0000 |
commit | 818dc1ee0fb4bf99e173fd67508cfcf44919182b (patch) | |
tree | 15ed7061b636d74d2b3f4ef985b290da9f830382 /plastic/plastic.el | |
parent | 6ea3ad433fb8fe79eac4b113670486b1e5930ea5 (diff) |
proof-defass-default -> defpgdefault
Diffstat (limited to 'plastic/plastic.el')
0 files changed, 0 insertions, 0 deletions