diff man/mini.texi @ 71571:61aafe312da2

Remove finished items.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 03 Jul 2006 14:35:18 +0000
parents 37c66dd77b79
children bf3a186a50a6 138ce2701550
line wrap: on
line diff