diff options
| author | David Aspinall | 2000-09-29 17:24:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 17:24:56 +0000 |
| commit | 615374cd94183bc1f3378928b6f2f17b522a51be (patch) | |
| tree | e654b34b5c6b0182187d076f62f50fa97867b68d /generic/proof-script.el | |
| parent | b88e60df1c96180660c1311454d4cd933fc6e8b7 (diff) | |
Non existent get-window-buffer -> get-buffer-window (how did that get through?)
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions