diff man/regs.texi @ 26131:d82f40019d74

(main): Enable profiling conditional on __linux also.
author Dave Love <fx@gnu.org>
date Fri, 22 Oct 1999 12:52:09 +0000
parents ac7e9e5e2ccb
children 6cd5aaf1a361
line wrap: on
line diff