diff man/xresmini.texi @ 71873:0048306da39e

simplify last fix.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 13 Jul 2006 14:45:10 +0000
parents b7261e09f8e4
children c7e4f78b81a6
line wrap: on
line diff