j
k
j a
j l
Thank you, got that (i.e. changed it in context.mkii and context.mkiv), but it's to be changed in the distribution
It's already changed :-) Arthur
Back to the thread
Back to the list
