diff configure @ 74047:97b5b479183f

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