| commit | 28a6ac85babe0dcb38f9de14bd95725072a1e344 | [log] [tgz] |
|---|---|---|
| author | Florian Thienel <florian@thienel.org> | Fri Dec 18 19:35:20 2015 +0100 |
| committer | Florian Thienel <florian@thienel.org> | Fri Dec 18 19:35:20 2015 +0100 |
| tree | ba194e50fcff91175112ff38b1ee7c6b75a33786 | |
| parent | 9b43a54613b399eab145dc4cc8ed88748883a13c [diff] |
use the correct definition of whitespace (XML instead of Java) We use the defintion according to the W3C recommendation (http://www.w3.org/TR/REC-xml/#NT-S) instead of the Java definition (Character.isWhitespace()). Signed-off-by: Florian Thienel <florian@thienel.org>