diff options
| author | David Aspinall | 2010-08-03 18:37:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 18:37:51 +0000 |
| commit | cb9733da757e34c9dfaf1cba00b121dde606bfa7 (patch) | |
| tree | cfbdc73d8a39a12e761f47aed191428560cfd17d /Makefile.devel | |
| parent | 78d6f7b0244bfdcc7f173a2af409c88da0684dcd (diff) | |
save-some-buffers: only offer to save proof script buffers
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions