diff man/mini.texi @ 73341:381523fcc2fd

2006-10-12 Roberto Rodr?ez <lanubeblanca@googlemail.com> * widget.texi: Fix typos (tiny change)
author Jan Djärv <jan.h.d@swipnet.se>
date Thu, 12 Oct 2006 06:37:11 +0000
parents bf3a186a50a6
children 3d45362f1d38 8a8e69664178
line wrap: on
line diff