diff man/autotype.texi @ 58778:c22db271cb6d

Remove no longer relevant item.
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 05 Dec 2004 22:56:59 +0000
parents b5382c383798
children 5ff790f43164 4c90ffeb71c5
line wrap: on
line diff