diff make-dist @ 29772:265fdb06f294

Update to reftex 4 14
author Carsten Dominik <dominik@science.uva.nl>
date Tue, 20 Jun 2000 12:46:32 +0000
parents 43f15cfb67a0
children 349704f6532f
line wrap: on
line diff