>>>>> Tassilo Horn <[email protected]> writes: > Ah, yes, that's a a much better idea! Feel free to install it and undo > Philip's change which shouldn't be needed anymore when not using > `self-insert-command'.
Done! Bye, Ikumi Keita _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
