<keyboard> optionnel
authoriinov
jeu., 15 août 2019 10:55:28 +0200
changeset 479 5061282c7396
parent 478 90e0fdca7fb7
child 480 e04ad8759293
<keyboard> optionnel
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+)