diff -r 382492dab3a9 -r bd4ff455b83f RelaxNG/Examples/Sets/selection.xml --- a/RelaxNG/Examples/Sets/selection.xml lun. juin 04 11:20:06 2012 +0200 +++ b/RelaxNG/Examples/Sets/selection.xml mer. juin 06 18:16:53 2012 +0200 @@ -12,8 +12,7 @@