# Set configure.bat's line ending to CRLF. Sometimes batch scripts don't work
# properly on Windows if the line ending is LF and not CRLF
configure.bat eol=crlf
