1 %% Translation of GIT committish: 8ffecf6be17c6ec2ff87cf31873121a8cce29b09
3 L'intervallo dei numeri di battuta può essere modificato cambiando la
4 funzione di contesto @code{set-bar-number-visibility}.
7 doctitleit = "Stampare i numeri di battuta a intervalli regolari variabili"