1 %% Translation of GIT committish: a51b7ab55aed341ffd8af27a357212ed7ef528b9
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"