about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-03-11T10·52+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-03-11T10·52+0000
commit070057c1b9335ef2c5ff0fe12adb76e214f945ba (patch)
tree97c35e93bc77a4a1b3f0787d9c837490f8328673 /.gitignore
parent03afc34805c0dbd5f354b823cb8391fed99c6539 (diff)
parentc752c9f41aa88ff2129cdc0863fe74f76328835c (diff)
* Sync with the trunk.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions