gnu-music-discuss
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

oops. Buglet


From: Han-Wen Nienhuys
Subject: oops. Buglet
Date: Sun, 7 Jan 2001 02:01:31 +0100 (MET)

I released 1.3.121 with an annoying stupid bug. Apply this patch to fix

--- system-start-delimiter.cc~  Wed Nov 22 22:15:36 2000
+++ system-start-delimiter.cc   Sun Jan  7 02:01:08 2001
@@ -26,7 +26,6 @@
                    me->get_grob_property ("arch-angle"),
                    me->get_grob_property ("arch-width"),
                    gh_double2scm (arc_height),
-                   me->get_grob_property ("bracket-width"),
                    gh_double2scm (height),
                    me->get_grob_property ("arch-thick"),
                    me->get_grob_property ("bracket-thick"),


-- 

Han-Wen Nienhuys   |   address@hidden    | http://www.cs.uu.nl/~hanwen/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]