diff options
| author | Stefan Monnier | 2014-06-02 20:57:01 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2014-06-02 20:57:01 +0000 |
| commit | bafdaf6497e31c9157353ea56a9c1fb687554629 (patch) | |
| tree | a498b1f94df9556c0ee411b6edac74accef7529e /pgshell | |
| parent | dbcc8b4d2affaa36d3679fa180b3cf98f0472e02 (diff) | |
* pg-response.el (proof-multiple-frames-enable, proof-next-error): Use new
display-buffer-alist infrastructure if available.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions