diff man/makefile.w32-in @ 76996:019484d911e6

Improve index entries. (Modification Time): Get rid of term "obsolete buffer".
author Richard M. Stallman <rms@gnu.org>
date Sat, 07 Apr 2007 01:56:48 +0000
parents 3d45362f1d38
children 4d41e57bbfdf 95d0cdf160ea
line wrap: on
line diff