aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-02-15 10:38:11 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-02-15 10:38:11 +0100
commit8dd6d091ffbfa237f7266eeca60187263a9b521f (patch)
tree7b0c9acf940698b7e04eaebbc640c346dab24649 /ide
parenta87fc2f9c400919cf37e4e74eb79ce65739eaa9c (diff)
parent999a7059840bdfbdc46ce198e1a16b8621f93588 (diff)
Merge PR #1073: new quick2vo target: like vio2vo, but smarter
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions