diff man/major.texi @ 45220:f7c52a0eaf23

Refine previous change.
author Colin Walters <walters@gnu.org>
date Fri, 10 May 2002 03:35:35 +0000
parents 5464ee1ba8e2
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff