diff man/info.texi @ 38414:67b464da13ec

Some fixes to follow coding conventions.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 15 Jul 2001 19:53:53 +0000
parents 7615043715cd
children 127d6dc34db9
line wrap: on
line diff