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