[Texmacs-dev] group and rigid

rigid is still called group in the menus

-á.


_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to