Hi Tassilo, 2014-06-25 23:18 GMT+02:00 Tassilo Horn <t...@gnu.org>: > I'll do that when I find some spare time after my move which might take > another week or two. Mosè, if you want, you can also do it whenever you > want.
Ok, I can help, just let me now what I've to do :-) Bye, Mosè _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex