diff options
| author | Regis-Gianas | 2014-11-04 11:38:56 +0100 |
|---|---|---|
| committer | Regis-Gianas | 2014-11-04 22:51:36 +0100 |
| commit | 16ca376bf4cca71f7e39ce6842f0371767b73df6 (patch) | |
| tree | 146dc622849458e229794c38c7cdd41b84dabb9c /lib/xml_parser.ml | |
| parent | cf005e330fd9fda379971e0b3fc958c3b8636253 (diff) | |
Xml_lexer: Handle non-breakable spaces.
Diffstat (limited to 'lib/xml_parser.ml')
0 files changed, 0 insertions, 0 deletions