diff nt/debug.bat.in @ 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 8bd07c31e8bf
children
line wrap: on
line diff