comparison man/mini.texi @ 49193:1dd9faae71ac

Finish previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 13 Jan 2003 08:22:08 +0000
parents 3d861934169e
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
49192:f9bae037b4c3 49193:1dd9faae71ac