Hello:
I am running lean from a bash command line on MINGW64.
It appears to be arbitrarily wrapping the line length at 88 chars, against my wishes.
I have experimented with a number of solutions and I think it is leans fault.
Any ideas.
Thanks.
Bill