Insert correct shortcut for environment split

This commit is contained in:
jpc 2018-01-03 18:37:12 +01:00
parent afd1a24923
commit e8b8cd2e78

View File

@ -1057,7 +1057,7 @@ Cadre séparé au-dessous
(
\begin_inset Info
type "shortcut"
arg "environment-split"
arg "command-alternatives environment-split ; environment-split previous"
\end_inset
si vous vous trouvez dans un paragraphe