diff make-dist @ 111419:898b96cf89b3

RefTeX: Improve matching of bib entries.
author Ralf Angeli <angeli@caeruleus.net>
date Sat, 06 Nov 2010 16:56:29 +0100
parents 8752cead918b
children d276c036caef
line wrap: on
line diff