diff config.sub @ 84620:71ee9cbb96e8

(tex-compilation-parse-errors): Prefer the filename from `--file-line-error', if it is available.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 Sep 2007 07:04:46 +0000
parents d48d331db292
children ec8ebd395432
line wrap: on
line diff