diff src/lread.c @ 24665:5ba81a9aa8e8

Add another variation of the profile command, which only profiles extended commands.
author Andrew Innes <andrewi@gnu.org>
date Sun, 02 May 1999 09:57:46 +0000
parents d11ac02f9d6a
children 3e8c8a06329b
line wrap: on
line diff