diff man/texinfo.tex @ 74047:97b5b479183f

Remove xresmini.texi
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 18 Nov 2006 14:47:46 +0000
parents 55f41f977e85
children b90d473c449b bb0e318b7c53
line wrap: on
line diff