diff options
| author | cxl | 2004-04-16 13:05:15 +0000 |
|---|---|---|
| committer | cxl | 2004-04-16 13:05:15 +0000 |
| commit | 4a378b48b2419e5e6da0c0e93d5179fa0f9d4aa3 (patch) | |
| tree | b8eb339b3b62f54de7d66e2e4a2d5c4432b7ba78 /generic/proof-splash.el | |
| parent | cf7d72a4ba806f0e8a8561c034b5fd30e704d6aa (diff) | |
Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions