diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-09-06 08:35:02 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-06 08:35:02 +0200 |
commit | 70333c957d42d3da208f442d8e7bed7133b57e5c (patch) | |
tree | d812422a30e854fa13c6d53242c4c892db9e0871 /ide/sentence.ml | |
parent | df6ae3d59af8f880a0411217b8e6f0dae0b92133 (diff) | |
parent | 2fee07f74a89dcdf526260934acd36ee71c9ccfa (diff) |
Merge PR #1022: Appveyor package
Diffstat (limited to 'ide/sentence.ml')
0 files changed, 0 insertions, 0 deletions