diff options
| author | Michael Soegtrop | 2018-10-01 19:11:12 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2018-10-01 19:11:12 +0200 |
| commit | 8c6e6f18e06152209ec46d17b34124eb0e7b8c61 (patch) | |
| tree | c49acbda391cf113188c5c34cd5dddad47d8ab83 /plugins/syntax/string_syntax.ml | |
| parent | ea26ac474cee738d92e1b7cbb73786e1d938b102 (diff) | |
Fix issue 8610 - Change important CI DOS batch files to CRLF
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions