diff options
| author | Guillaume Melquiond | 2015-06-09 08:06:43 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-06-09 08:06:43 +0200 |
| commit | 0736befd45671875d4c9761fc42f38766a14493b (patch) | |
| tree | ccee43ba09b342c75fd44f9400fc7792c79c78c7 /lib/errors.ml | |
| parent | 5fab341f70b05823910b9a7ead63deb7b35bf161 (diff) | |
Support CRLF end of line in fake_ide.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions