David Halter 89bd32e0d7 use str.splitlines() instead of split('\n'), which is better for non unix systems

2013-01-04 14:55:31 +01:00

12 KiB

Raw Blame History

View Raw