diff options
| author | David Aspinall | 2008-01-29 00:40:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:40:29 +0000 |
| commit | 023957c67a1e3f433372adeb156406b6b89dddc8 (patch) | |
| tree | ba1bb37f9f7725f8ea7363b1df862782c05d8fdf /pgshell | |
| parent | efa741ee0930791c1871dfbb08f79e91fcdd35e1 (diff) | |
proof-set-queue-endpoints: only use undo-discarding function if
undo-make-selective-list is available (not on XEmacs).
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions