| commit | 6d3632a209766b5315cf2d3db3a22c78510d6ff7 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 15:40:14 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 15:40:14 2000 +0000 |
| tree | 7313119ca9b470f7799398358d896e8ed33bd7b3 | |
| parent | a974d2498e4c6da4049dfd8b11803c7d280cad46 [diff] |
Added a profiling target.