diff man/help.texi @ 40088:50a6007a6ee4

Change doc-string comments to `new style' [w/`doc:' keyword].
author Pavel Janík <Pavel@Janik.cz>
date Sat, 20 Oct 2001 15:09:27 +0000
parents eaeec47bf5fe
children dfc7817ae834
line wrap: on
line diff