diff options
author | 2000-09-29 18:08:08 +0000 | |
---|---|---|
committer | 2000-09-29 18:08:08 +0000 | |
commit | 48243a0f744d4ce39256cf74001f8f167306e67f (patch) | |
tree | 7f8604e01ebfad48e32f67022142b05dc4d71b00 /acl2 | |
parent | 9f610fe332075f2de87dafc8f2a6528ca80ab994 (diff) |
Minor change
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions