diff src/coding.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 05c797dbc451
children 6156dc5f5ce0
line wrap: on
line diff