"
+
%% Translation of GIT committish: 0a868be38a775ecb1ef935b079000cebbc64de40
doctitlede = "Verhindern, dass zusätzliche Auflösungszeichen automatisch
hinzugefügt werden"
soll. Um dieses Verhalten zu ändern, muss die Eigenschaft
@code{extraNatural} im @code{Staff}-Kontext auf \"false\" gesetzt werden.
"
+
%% Translation of GIT committish: 58a29969da425eaf424946f4119e601545fb7a7e
texidocfr = "
En accord avec les règles standards de l'écriture musicale, on grave