about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-10-23T22·58+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-10-23T22·58+0000
commita247d20604a97ff6e84b87f66e3338714e7964f0 (patch)
treef51275a10556bbbc5ee6608d2095c264cec5b50d /.gitignore
parent02934b12000d5a837ef4cac78025cb531330c2b3 (diff)
* Fix compiling without Boehm.
* Fix the stats.

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