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