%% Do not edit this file; it is auto-generated from LSR http://lsr.dsi.unimi.it
%% This file is in the public domain.
-\version "2.11.62"
+\version "2.12.3"
\header {
lsrtags = "text, tweaks-and-overrides"
"
doctitle = "Changing the default text font family"
} % begin verbatim
+
\paper {
% change for other default global staff size.
myStaffSize = #20
}
}
+