%% Translation of GIT committish: 2f3474d9af596d677ed5b7ce720ae4d0954a6b51
  texidocit = "
Esistono tre diversi stili di doppie ripetizioni per le volte, che si
possono impostare con @code{doubleRepeatBarType}.

"
  doctitleit = "Impostare la doppia ripetizione predefinita per le volte"
