diff options
| -rw-r--r-- | python/musicexp.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/python/musicexp.py b/python/musicexp.py index a7b569a5aa..e8cbcb0167 100644 --- a/python/musicexp.py +++ b/python/musicexp.py @@ -898,7 +898,6 @@ class Paper: printer.newline () printer.dump ('\\paper {') printer.newline () - printer.dump ("markup-system-spacing #'padding = #2") printer.newline () self.print_length_field (printer, "paper-width", self.page_width) self.print_length_field (printer, "paper-height", self.page_height) |