Sorry, answering to myself:

texmacs --delete-plugin-cache

Andrey

_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to