diff options
| author | Pierre Courtieu | 2015-09-25 17:03:43 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-09 11:54:26 +0200 |
| commit | 6effc3a06b96a791805d69c7dd82ef59349abf26 (patch) | |
| tree | 7701514f4a18100c08761d297af6fb0cffc241cf /generic/proof-script.el | |
| parent | be17a8f84cea29b8c9804af16b545ff9cfcf9dc6 (diff) | |
Trying to not delete frames too eagerly when laying out.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions