diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-17 12:50:29 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-17 12:50:29 +0000 |
| commit | f1d8558cd5fe20a351496c39dbb8e15aa028803c (patch) | |
| tree | bff7587643311fca68926fb519dcbefeb177c141 /editors/README.md | |
| parent | 97532c8bf74b96336c1c553171b3ee787edbc66a (diff) | |
| parent | cb659cd262f5b66de01b036e26cd51b04052d488 (diff) | |
Merge #215
215: Add Travis Windows build r=matklad a=phansch
This adds the Windows build to Travis.
I had to use the `dos2unix` utility on the parser directory to fix some incorrect
line endings. I'm not sure where they are coming from but I guess git is
converting them automatically when cloning on Windows.
Closes #139
Co-authored-by: Philipp Hansch <[email protected]>
Diffstat (limited to 'editors/README.md')
0 files changed, 0 insertions, 0 deletions