Pasting from PDF can introduce spurious ctrl-M
When pasting from PDF on a Mac (and possibly elsewhere), there are spurious ctrl-M characters which mess up the parser. Remove.
Details
| Id: | ca0ea385450a3a152cc01829d27cb86d945aca1d |
| Type: | bugfix |
| Creation time: | 2010-05-16 19:31 GMT |
| Creator: | Kasper Peeters <kasper.peeters@...> |
| Release: | unassigned |
| Component: | cadabra |
| Status: | unstarted |
Issue log
| 2010-05-16 19:31 GMT | Kasper Peeters <kasper.peeters@...> |