diff src/search.c @ 10341:f27bcd1faf07

(tex-print): Better check for when to print current buffer's file over last processed file.
author Richard M. Stallman <rms@gnu.org>
date Thu, 05 Jan 1995 00:23:50 +0000
parents 422c3b96efda
children d0811ba886f8
line wrap: on
line diff