diff options
Diffstat (limited to 'Documentation/snippets/changing-the-default-text-font-family.ly')
| -rw-r--r-- | Documentation/snippets/changing-the-default-text-font-family.ly | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/Documentation/snippets/changing-the-default-text-font-family.ly b/Documentation/snippets/changing-the-default-text-font-family.ly index 1534b107b7..a2de37a54d 100644 --- a/Documentation/snippets/changing-the-default-text-font-family.ly +++ b/Documentation/snippets/changing-the-default-text-font-family.ly @@ -7,15 +7,7 @@ \version "2.14.2" \header { - lsrtags = "tweaks-and-overrides, text" - -%% Translation of GIT committish: 1cda7b7b8219cb97399b8e7b56c1115aaf82c002 - texidocfr = " -Les familles de fontes par défaut pour le texte peuvent être changées à -l'aide de la fonction @code{make-pango-font-tree}. - -" - doctitlefr = "Changement des fontes textuelles par défaut" + lsrtags = "text, tweaks-and-overrides" texidoc = " The default font families for text can be overridden with @@ -61,5 +53,3 @@ The default font families for text can be overridden with } } } - - |