From a18216d7794dd54feec676fd7fa02ff3cbb2d9bb Mon Sep 17 00:00:00 2001 From: Joe Neeman Date: Mon, 19 Oct 2009 10:55:19 -0700 Subject: [PATCH] Fix naming min-distance -> minimum-distance. --- ly/paper-defaults-init.ly | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ly/paper-defaults-init.ly b/ly/paper-defaults-init.ly index 4db5459fa7..3e14781ab1 100644 --- a/ly/paper-defaults-init.ly +++ b/ly/paper-defaults-init.ly @@ -43,9 +43,9 @@ after-title-spacing = #'((space . 2) (padding . 0.5)) before-title-spacing = #'((space . 5) (padding . 0.5)) between-title-spacing = #'((space . 1) (padding . 0.5)) - top-system-spacing = #'((space . 1) (padding . 1) (min-distance . 0)) - top-title-spacing = #'((space . 1) (padding . 1) (min-distance . 0)) - bottom-system-spacing = #'((space . 1) (padding . 1) (min-distance . 0) (stretchability . 5)) + top-system-spacing = #'((space . 1) (padding . 1) (minimum-distance . 0)) + top-title-spacing = #'((space . 1) (padding . 1) (minimum-distance . 0)) + bottom-system-spacing = #'((space . 1) (padding . 1) (minimum-distance . 0) (stretchability . 5)) ragged-bottom = ##f -- 2.39.2