"
doctitlees = "Ajustar la forma de las subidas y caídas de tono"
+
%% Translation of GIT committish: 0a868be38a775ecb1ef935b079000cebbc64de40
texidocde = "
Die @code{shortest-duration-space}-Eigenschaft kann verändert werden, um
"
doctitlede = "Das Aussehen von unbestimmten Glissandi anpassen"
+
%% Translation of GIT committish: 217cd2b9de6e783f2a5c8a42be9c70a82195ad20
texidocfr = "
La propriété @code{shortest-duration-space} peut devoir être retouchée