diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 18:37:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 18:37:51 +0000 |
commit | cb9733da757e34c9dfaf1cba00b121dde606bfa7 (patch) | |
tree | cfbdc73d8a39a12e761f47aed191428560cfd17d /generic/pg-autotest.el | |
parent | 78d6f7b0244bfdcc7f173a2af409c88da0684dcd (diff) |
save-some-buffers: only offer to save proof script buffers
Diffstat (limited to 'generic/pg-autotest.el')
0 files changed, 0 insertions, 0 deletions