diff src/config.in @ 27601:225cd305a20e

(reftex-compile-variables): regexp-quote the environment names before they go into the section regexp.
author Carsten Dominik <dominik@science.uva.nl>
date Fri, 04 Feb 2000 10:01:08 +0000
parents 466622719e96
children c04790190e75
line wrap: on
line diff