Alex Branham <[email protected]> writes: > Sounds great, here's a small patch. I also added the copyright header > and fixed that one quote.
Many thanks for the patch. I slightly touched it and committed it under your name; I also added an entry to the news. I close this bug then. Best, Arash http://git.savannah.gnu.org/cgit/auctex.git/commit/?id=5592c69435c03110e207ef05feed96741cb94d1b _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
