diff options
author | 2014-03-18 12:01:12 +0000 | |
---|---|---|
committer | 2014-03-18 12:01:12 +0000 | |
commit | 1ed471d7e479f2cec0e24249607e1bb31a181044 (patch) | |
tree | a3a7fb645396a7fdd9075e83858ecf4a9262898d /.gitignore | |
parent | 58f1b20a54deeb28b3fc58e298b8c283ecc443be (diff) |
Fixes to predication. Patch by Jeroen Ketema.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions