diff man/pgg.texi @ 74073:ef8cf7255613

(ada-make-body): Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 19 Nov 2006 01:35:31 +0000
parents c7e4f78b81a6
children 00b7dd321d64
line wrap: on
line diff