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 /hol98/example.sml | |
| parent | 0230e6aeca0feab2b0d7ba0ce0bb56526521821d (diff) | |
Fix to shrink-windows-tofit
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions