diff options
| author | David Aspinall | 2010-08-17 19:15:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 19:15:13 +0000 |
| commit | d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b (patch) | |
| tree | c7d79ea660be4bdcf1851f575557cb93b8faeda3 /lib/pg-dev.el | |
| parent | 2aa3f62aeb888206c337035f10cd9fb58abb67cc (diff) | |
Autosend: don't autosend after undoing; add proof-shell-last-queuemode to support this.
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions