Windows Line Feeds

To code windows line feeds in python ascii output files, use "\r\n".

some clues, but not the answer:

Wiffing around the problem in the python docs:

http://www.ccp4.ac.uk/peter/programming/developing_on_windows.html#line_endings

An apparently ignored proposal to make things "universal" in python:

http://www.python.org/dev/peps/pep-0278/

A problem with just using \r:

http://www.velocityreviews.com/forums/t335344-carriage-return-problem-with-python-on-windows.html