diff make-dist @ 3618:58f653fa4e5b

(bibtex-mode-map): Use tex-insert-quote, not TeX-...
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Jun 1993 17:42:39 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff