diff options
author | 2018-02-15 10:38:11 +0100 | |
---|---|---|
committer | 2018-02-15 10:38:11 +0100 | |
commit | 8dd6d091ffbfa237f7266eeca60187263a9b521f (patch) | |
tree | 7b0c9acf940698b7e04eaebbc640c346dab24649 /ide/coq.png | |
parent | a87fc2f9c400919cf37e4e74eb79ce65739eaa9c (diff) | |
parent | 999a7059840bdfbdc46ce198e1a16b8621f93588 (diff) |
Merge PR #1073: new quick2vo target: like vio2vo, but smarter
Diffstat (limited to 'ide/coq.png')
0 files changed, 0 insertions, 0 deletions