diff etc/AUTHORS @ 85195:718f0bcfdb7c

(reftex-toc-do-promote): Use mapc rather than mapcar.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Oct 2007 06:34:33 +0000
parents b51d0973ef37
children b63016d25aa6
line wrap: on
line diff