annotate etc/images/copy.pbm @ 84611:fb155376791a

(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.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 Sep 2007 00:24:12 +0000
parents 7ba8ea4046bd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
77969
7ba8ea4046bd Convert from PPM to PBM.
Glenn Morris <rgm@gnu.org>
parents: 66732
diff changeset
1 (binary:image/x-portable-bitmap)