diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-27 11:13:20 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-27 11:13:20 +0200 |
| commit | 85ee881e611058e41e7dd7bc9cacfb7933f6778b (patch) | |
| tree | 7cd48fe7a0d809bd4a7f4d767e9089ba92dc4db1 /.gitignore | |
| parent | 47d502e02b4dc42d8192102c4e52764da09a90e5 (diff) | |
MLKCons: Fix NIL printing for list tails.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions