Shouldn't the lion in our icons be wearing a viking's helmet with gnu horns?
-- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
