\r handling

This commit is contained in:
mattijs 2008-09-04 21:49:11 +01:00
parent fb99c7b63e
commit 4773de4695

View File

@ -697,7 +697,7 @@ endOfSection {space}")"{space}
/* ------ Ignore remaining space and \n s. ------ */
<*>{some_space}|\n {
<*>{some_space}|\n|\r {
}