diff nt/makefile.def @ 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 ff5935fc211c
children 904a6e5948b5
line wrap: on
line diff