diff options
author | 2005-03-08 16:41:51 +0000 | |
---|---|---|
committer | 2005-03-08 16:41:51 +0000 | |
commit | 87af89b6acfaf48afc3166f10371bf6d190241f0 (patch) | |
tree | 8c83aa6adfdc6399c430ab5c29d1703cb8ae8b63 /generic/pg-autotest.el | |
parent | 9595f713345cec80cc03bd09ec0c8c747c7dd6d8 (diff) |
making holes.el cleaner, with the help of Stefan Monnier. I had to
adapt coq.el to these modifications.
Diffstat (limited to 'generic/pg-autotest.el')
0 files changed, 0 insertions, 0 deletions