Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
bug involving escaped characters #2
It looks like it is currently not possible to escape control characters such as +, -, *,etc:
Not sure why, but yes I have confirmed that the error is originating fromthe
btw, thx for everything
Thanks a lot for this issue. Two things come into play here:
If my understanding of the problem is correct, I will be able to push the fix in about an hour.