about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-12-16T15·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-12-16T15·45+0000
commit78598d06f0240a15b74720d8f987daeb702318d7 (patch)
tree362d25677710ade8084a5ca417d88224f1c6faa0 /.gitignore
parent5a1b9ed0aa3a0c240b667dbe504b61b2b68e4d16 (diff)
* Clean up exception handling.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions