Skip to content
Commit 686f91ee authored by Jan Kiene's avatar Jan Kiene
Browse files

make is_number ignore CR characters as well 

-> makes ISM file reader accept windows-style line endings
parent a0ecf589