diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-09 12:00:49 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-09 12:00:49 +0000 |
| commit | f3dc7ab877c736ec1500f6b503ab71a62ce90305 (patch) | |
| tree | 5807ecef874e9392d1e9d1a6e2602d03240c594e /externals | |
| parent | b7b3dd55f9e30e2eccb54aca22830852c5c2b514 (diff) | |
* Keep more statistics about stack space usage.
* Reduce stack space usage.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions