comparison install-sh @ 74047:97b5b479183f

Remove xresmini.texi
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 18 Nov 2006 14:47:46 +0000
parents 23a1cea22d13
children
comparison
equal deleted inserted replaced
74046:f7d06a01c34e 74047:97b5b479183f