| commit | 8c6932136c009ed5b947c0cc2fb405f4f7020377 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 07 16:19:42 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 07 16:19:42 1997 +0000 |
| tree | 3904356f9ece97ba715b084bc75909bd19762b81 | |
| parent | 8ce72f50b52b19d047a2296d7ac2733960512ff5 [diff] |
Added profiler initialization/finalization code (if __profile__ is defined)