about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-12-13T13·19+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-12-13T13·19+0000
commitd7ca6f44eb506ec315db2ba59216de59de2758b6 (patch)
tree5819ced9f5c425c7f029ef5fa00babb88c76086f /.gitignore
parent542fc6906297fcb72cbcb01d688c2f27819e0cf7 (diff)
* Update some comments.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions