Add doc string for run from profile.doc. (pydoc motivates me to write
good doc strings.) Fix silly argument handling; was using *args but really wanted 1 optional arg. XXX Should profile.doc be merged into the documentation and removed from the Lib directory?
J
Jeremy Hylton committed
adcf8a05a44a9053cb40d0cbc21b7c9c2559cf5f
Parent: 538453e