diff man/search.texi @ 46111:acf90bfa4934

Upcase the abbreviation "W.O." and add periods.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jul 2002 08:06:37 +0000
parents b0768ec46559
children d76b60f898fc
line wrap: on
line diff