diff options
| author | Glenn Morris | 2007-09-17 07:01:53 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-09-17 07:01:53 +0000 |
| commit | 6f800ba681394fa7e0bd40e0fe45c979c6704eb3 (patch) | |
| tree | 309d143edf5c2fbfcb7bdf0091072fdcb6dea0e2 /src | |
| parent | af751646bdd75378f4e62d549321e9a8080d018c (diff) | |
| download | emacs-6f800ba681394fa7e0bd40e0fe45c979c6704eb3.tar.gz emacs-6f800ba681394fa7e0bd40e0fe45c979c6704eb3.zip | |
(tex-compilation-parse-errors): Prefer the filename from
`--file-line-error', if it is available.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions