diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-12-29 18:56:12 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-05 16:55:58 +0100 |
commit | 8e57267d4a08103506ebd6dd99b21c1f13813461 (patch) | |
tree | ac4db1169f551300670d700dc456eac314e333b6 /ide/coqide_main.ml4 | |
parent | 2265dfad7543f0abce7e50751c650f8e5fb92683 (diff) |
Fix coqc -time (Closes: 3201)
Diffstat (limited to 'ide/coqide_main.ml4')
0 files changed, 0 insertions, 0 deletions