-%% Do not edit this file; it is auto-generated from LSR http://lsr.dsi.unimi.it
+%% Do not edit this file; it is automatically
+%% generated from LSR http://lsr.dsi.unimi.it
%% This file is in the public domain.
-\version "2.13.1"
+\version "2.13.4"
\header {
lsrtags = "expressive-marks"
"
doctitlees = "Ajustar la longitud mínima de los reguladores"
+
%% Translation of GIT committish: d96023d8792c8af202c7cb8508010c0d3648899d
texidocde = "
Wenn Crescendo-Klammern zu kurz sind, können sie verlängert werden, indem
die @code{minimum-length}-Eigenschaft des @code{Hairpin}-Objektes
-verändert wird.
+verändert wird.
"
doctitlede = "Die Mindestlänge von Crescendo-Klammern bestimmen"
texidoc = "
If hairpins are too short, they can be lengthened by modifying the
-@code{minimum-length} property of the @code{Hairpin} object.
+@code{minimum-length} property of the @code{Hairpin} object.
"
doctitle = "Setting the minimum length of hairpins"