diff options
| author | Glenn Morris | 2007-09-17 00:26:49 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-09-17 00:26:49 +0000 |
| commit | eecfb4da1b1fde56bc4317e31320ddebcca896ac (patch) | |
| tree | deb73cb11346e671017bf0547cdf9828f436011f /src | |
| parent | 9d2fec03a1ae3a000e02036093c8f4da6a0c1a6d (diff) | |
| download | emacs-eecfb4da1b1fde56bc4317e31320ddebcca896ac.tar.gz emacs-eecfb4da1b1fde56bc4317e31320ddebcca896ac.zip | |
(tex-region): Simplify previous change,
handling the case where the region is not in `tex-main-file'.
(tex-region-1): Delete.
(tex-region-header): New function, doing the header part of the
old tex-region-1.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions