diff man/cl.texi @ 77746:98f25c40a396

Tweak previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 18 May 2007 07:43:29 +0000
parents 88224dc74061
children ede12ef4dad4 e6fdae9180d4
line wrap: on
line diff