diff man/text.texi @ 37461:a5f0e09ecc67

(command_loop_1): Redo change of 2001-03-12.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 25 Apr 2001 14:36:03 +0000
parents fe3c5a341a4d
children 32f10000ac35
line wrap: on
line diff