diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-07-01 21:15:44 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-07-01 21:15:44 +0000 |
commit | 8dedd5415de018e4ff901faec0fd5e3f02d24781 (patch) | |
tree | 0a18dd11090cbaf5c8319a962bdd2e8060beb481 /lego/lego.el | |
parent | 1a411c647f7af7354ca53f8a8d5158cef512dda1 (diff) |
proof-last-locked-span: save-excursion -> with-current-buffer to avoid
spurious warning in Emacs 23.2
Diffstat (limited to 'lego/lego.el')
0 files changed, 0 insertions, 0 deletions