aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
diff options
context:
space:
mode:
authorDavid Aspinall2007-03-03 15:28:20 +0000
committerDavid Aspinall2007-03-03 15:28:20 +0000
commit8561a2dfd1b246208420728a44744501a987a79a (patch)
tree22f84b6a09efc298e1c2462072d5e612bc610800 /generic/proof-utils.el
parent5a37180c03b61f4d64492e3fb36e4d7673e6e261 (diff)
Patch for XEmacs 21.5 beta match-replace bug
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions