diff make-dist @ 78816:b93f64a362b4

Joe Wells <jbw at macs.hw.ac.uk> (tiny change) (tex-compilation-parse-errors): Also match TeX `--file-line-error' format.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 Sep 2007 06:57:58 +0000
parents 4b9e26bc6f59
children a9b80f99c836 4146a20f4623 f55f9811f5d7
line wrap: on
line diff