# HG changeset patch # User iinov # Date 1565859328 -7200 # Node ID 5061282c739691d13861747c65ea5fdf9ace03c7 # Parent 90e0fdca7fb781ae048e6368e2fe0ad1971030cc optionnel diff -r 90e0fdca7fb7 -r 5061282c7396 RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc mer. août 14 20:01:39 2019 +0200 +++ b/RelaxNG/publiquiz.rnc jeu. août 15 10:55:28 2019 +0200 @@ -170,7 +170,7 @@ blanks-fill.content = (blanks.block+ | blanks.section+), - keyboard + keyboard? blanks-select.content = blanks.intruders?, (blanks.block+ | blanks.section+)