-%% Do not edit this file; it is auto-generated from LSR http://lsr.dsi.unimi.it
+%% Do not edit this file; it is automatically
+%% generated from LSR http://lsr.dsi.unimi.it
%% This file is in the public domain.
-\version "2.13.1"
+\version "2.12.2"
\header {
lsrtags = "staff-notation, tweaks-and-overrides, paper-and-layout"
Though the simplest way to resize staves is to use
@code{#(set-global-staff-size xx)}, an individual staff's size can be
changed by scaling the properties @code{'staff-space} and
-@code{fontSize}.
+@code{fontSize}.
"
doctitle = "Changing the staff size"