comparison man/mini.texi @ 38436:b174db545cfd

Some fixes to follow coding conventions.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 16 Jul 2001 12:23:00 +0000
parents d184144845bc
children 23f63206a867
comparison
equal deleted inserted replaced
38435:a9102b5472f0 38436:b174db545cfd