diff options
| author | Pierre Courtieu | 2015-10-09 11:32:07 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-09 11:32:07 +0200 |
| commit | aa381b59210eed6b622dc6c4ccd564ecaf919e92 (patch) | |
| tree | 2e31ccfd4860cb9dde41874f85c318a22ff251b3 /generic/proof-script.el | |
| parent | 0f9b4075028073714acfd2eb0b01cb8d5b94c25a (diff) | |
Fixing < 25 use of window-frame (mandatory arg).
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions