diff options
| author | Pierre Courtieu | 2007-04-26 19:00:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-04-26 19:00:16 +0000 |
| commit | d02f3d432aafdc9fe05dd2b71b71978c0bd21f57 (patch) | |
| tree | b4182cf4eda03e49401187ab1162291acbbb53a5 /generic | |
| parent | 4835077e41fd8651e84eb2add7c7e85f50c8a646 (diff) | |
Fixing auto shrink in coq three window mode, to avoid window
disappearing.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions