diff man/mini.texi @ 45106:53adea9b47b7

Add even more rules.
author Pavel Janík <Pavel@Janik.cz>
date Sat, 04 May 2002 10:06:22 +0000
parents 5be168598322
children 3d861934169e
line wrap: on
line diff