|
From: | Werner LEMBERG |
Subject: | Where is \staff-space defined? |
Date: | Tue, 11 Nov 2014 08:19:45 +0100 (CET) |
I looked up the source code, but I couldn't find the definition of `\staff-space'... BTW, there isn't an index entry for it. Werner
[Prev in Thread] | Current Thread | [Next in Thread] |