diff man/trampver.texi @ 51270:827c306f0515

Add missing code from previous patch by David Ponce.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 27 May 2003 22:34:58 +0000
parents 4f760005cf14
children f57bfce0ddaf
line wrap: on
line diff