diff man/regs.texi @ 37678:ebec0594dece

(compile-files): Redirect output of chmod to /dev/null.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 11 May 2001 10:53:56 +0000
parents 6cd5aaf1a361
children bd45e6c57fba
line wrap: on
line diff