diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-02-15 10:38:11 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-15 10:38:11 +0100 |
| commit | 8dd6d091ffbfa237f7266eeca60187263a9b521f (patch) | |
| tree | 7b0c9acf940698b7e04eaebbc640c346dab24649 /vernac/indschemes.mli | |
| parent | a87fc2f9c400919cf37e4e74eb79ce65739eaa9c (diff) | |
| parent | 999a7059840bdfbdc46ce198e1a16b8621f93588 (diff) | |
Merge PR #1073: new quick2vo target: like vio2vo, but smarter
Diffstat (limited to 'vernac/indschemes.mli')
0 files changed, 0 insertions, 0 deletions