diff options
| author | Pierre Courtieu | 2016-01-06 17:41:08 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-01-06 17:41:08 +0100 |
| commit | a608501960ce8b00d42840f779ae7983b8363c86 (patch) | |
| tree | 0511be95a36aa572ddc85760e2a6e3340ba42edb /FAQ | |
| parent | ba1187827393aa651b2814d513749b43d0bcc772 (diff) | |
| parent | e3d4762275b810307acf865c124b1265bc01a5d8 (diff) | |
Merge pull request #22 from ProofGeneral/fix-scrolling-buffers
Fix spurious scrolling of *goals* and *response* buffers
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions