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