commit | 58f778890aa0dc37f8b9e71a9e565a9ad77e729d | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Mon Feb 25 15:59:34 2008 +0000 |
committer | david_williams <david_williams> | Mon Feb 25 15:59:34 2008 +0000 |
tree | a6400d898ec047ec58374fcd7c651603404689c1 | |
parent | 57d07c1f463b1669121e50dcfa27d4e52a83f31e [diff] |
214416 Dot char is not escaped in XML10Names.jFlex