Shai Berger ff881aef53 Fixed #13958 -- problem reporting exception from \r-line-ended file
Thanks petrvanblokland for reporting and saz for the patch
2013-05-18 19:30:03 +03:00
..
2013-05-10 08:56:39 -07:00
2013-02-26 14:36:57 +01:00
2013-02-26 10:00:14 +01:00