-%% Translation of GIT committish: 3c907f2dd5ba3dd91e30454922d8361225ca28d5
+%% Translation of GIT committish: e0808cc5f4890c5f8f03ed1be48fc911627afea4
texidocit = "
Esistono tre diversi stili di doppie ripetizioni per le volte, che si
possono impostare con @code{doubleRepeatType}.