diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-26 11:48:01 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-26 11:48:01 +0200 |
| commit | ca1c83c21c967593dfa4fced6084e83361bc6cf3 (patch) | |
| tree | 15b770bc901ef01ea4568b08026a120eb00be63d /.gitignore | |
| parent | 9f9d3bcede3a4d57fb112011be7023fdd83db369 (diff) | |
Reader: Support the consing dot.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions