diff man/org.texi @ 70744:ed43fcb24d07

(GPL): ifinfo -> ifnottex.
author Luc Teirlinck <teirllm@auburn.edu>
date Fri, 19 May 2006 22:00:15 +0000
parents 7ce8d4154af5
children 68e63907ebfb
line wrap: on
line diff