diff options
| author | David Aspinall | 2003-02-24 14:36:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 14:36:10 +0000 |
| commit | 7e9351d9adf94dc10cbece887c602e4944311856 (patch) | |
| tree | c1c0223e0dfec010960c8f3350d8a60bbe5213c4 /generic/proof-script.el | |
| parent | 0230e6aeca0feab2b0d7ba0ce0bb56526521821d (diff) | |
Fix to shrink-windows-tofit
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions