mac os x exporting shortcuts

Salvatore Modica salvatore.modica at
Tue Apr 28 12:27:50 UTC 2020

I would like to export shortcuts to another computer, but I should know
where they are stored - which I don't.
Can you tell me?
Many thanks

Salvatore Modica
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the lyx-users mailing list