diff man/mini.texi @ 57398:29ed8cef77f8

(Default Simplifications): Add missing ).
author Juri Linkov <juri@jurta.org>
date Fri, 08 Oct 2004 20:58:54 +0000
parents 82fe8e8f2ffe
children 0816b427495a 566253900690
line wrap: on
line diff