| commit | e742487ca506dfe7c71ae6122088b2a680881618 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 30 11:20:11 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 30 11:20:11 1999 +0000 |
| tree | c28ed676a862399d6beb42c961ae21f360302393 | |
| parent | fac3008e77310bb206ce85169f01426fd2124dd9 [diff] |
Bigger buffer size for C profiler (if profiling is enabled).