diff man/mini.texi @ 48839:b4f252602421

Besides adding an entry, do some minor white space fixes.
author Markus Rost <rost@math.uni-bielefeld.de>
date Fri, 13 Dec 2002 23:58:55 +0000
parents 3d861934169e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff