about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-04-09T12·00+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-04-09T12·00+0000
commitf3dc7ab877c736ec1500f6b503ab71a62ce90305 (patch)
tree5807ecef874e9392d1e9d1a6e2602d03240c594e /.gitignore
parentb7b3dd55f9e30e2eccb54aca22830852c5c2b514 (diff)
* Keep more statistics about stack space usage.
* Reduce stack space usage.

Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions