comparison man/makefile.w32-in @ 70967:b4e6091c2346

(list-buffers-noselect): For Info buffers, use Info-current-file as the file name.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 26 May 2006 19:11:45 +0000
parents 34c75d68e3b4
children b99acc9121ba 146cd8369025
comparison
equal deleted inserted replaced
70966:ea71fd2eadcb 70967:b4e6091c2346