9 Oct
2020
9 Oct
'20
9:24 p.m.
On 10/9/20 5:10 PM, Wolfgang Schuster wrote:
Pablo Rodriguez schrieb am 09.10.2020 um 16:31:
[...] Which are the improvements to the command added by \do*argument?
You can add a space between both arguments. You version expects this
\startswith [...][...]
while the extended code allows this
\startswith [...] [...]
Many thanks for your explanation, Wolfgang. Pablo -- http://www.ousia.tk