diff options
author | 2017-10-13 17:28:54 -0400 | |
---|---|---|
committer | 2017-10-13 17:28:54 -0400 | |
commit | 65d876ee94d2e8e637aae3646fb4145020adc2a0 (patch) | |
tree | 5ebc93c55b03fd8104c1a2147de65aab1130995a /etc/coq-scripts | |
parent | 1ad6f6ba1e91d021f207b2fbdcabfbd537633903 (diff) |
Support machines without controllable cpu speed
Diffstat (limited to 'etc/coq-scripts')
0 files changed, 0 insertions, 0 deletions