diff options
| author | Paul Steckler | 2017-03-06 17:45:26 -0500 |
|---|---|---|
| committer | Paul Steckler | 2017-03-06 17:45:26 -0500 |
| commit | 915ad2578489919e169fdcf4fe76a4f070268073 (patch) | |
| tree | 99338966796471cfd6a0d8085448a11be3f0ffb5 /generic/proof-script.el | |
| parent | 1d1c71d407ed843b01c019e88a5c4f786bfeecb9 (diff) | |
get threeb frames only when needed
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions