Revision 7483b595528f923cd23d5b988d6f444d4a35883c

Committed on 06/09/2018 8:08 am by fwoldt <[email protected]> [GitHub Diff]

Fix: File has mixed line endings; this may cause incorrect results CRLF => LF