diff man/gnu.texi @ 38869:8be184904f6c

Don't use "print" for displaying a message. Make `ASCII' uniform.
author Richard M. Stallman <rms@gnu.org>
date Mon, 20 Aug 2001 04:18:06 +0000
parents 730f77edf073
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff