This commit is contained in:
Guillaume Munch 2015-12-14 15:19:03 +00:00
parent 857a2f765a
commit 3e6cb7fe1b

View File

@ -294,7 +294,7 @@ Style Sol
Mandatory 1 Mandatory 1
LabelString "Label of Problem" LabelString "Label of Problem"
Tooltip "Label of the corresponding problem" Tooltip "Label of the corresponding problem"
InToc IsTocCaption true
EndArgument EndArgument
End End