Quick patch for dollar-sign as dollar or backslash-dollar; from taw
authorBrion Vibber <brion@users.mediawiki.org>
Mon, 19 May 2003 22:40:16 +0000 (22:40 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Mon, 19 May 2003 22:40:16 +0000 (22:40 +0000)
commitd5b0758254587fef851d7c7ee79fd85812055e39
tree74356401d9f9d84e15d6340116eb7a56f8879480
parentce1c8278550664b3b5242bce6e775cdc3ca40322
Quick patch for dollar-sign as dollar or backslash-dollar; from taw
math/lexer.mll