Le 20/02/2019 à 11:25, Dr Eberhard Lisse a écrit :
That's an interesting question :-)-O

Maybe a mac.local.bind for the new ones and the ones you want to dump
are removed from the local copy of the full one?

Or an \unbind function?

\unbind does exist, the binding GUI generates it as needed.

JMarc


Reply via email to