about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-08-27T12·10+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-08-27T12·10+0000
commitdf50916e46d80e640a36076f1c38c355b89999d4 (patch)
treed51d5f56e8a3b48d7fe24ab61cd8bdc7d835be88 /.gitignore
parentc67eccc26d42bce9496024ac77eaa7e4ff725d01 (diff)
* Oops - "null" was displayed as "true".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions