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