| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Gdb pretty printers (#8263) | Arne Döring | 2018-07-16 | 1 | -0/+18 |
| * | empty.txt files: Trim trailing whitespace | Adam Strzelecki | 2015-09-04 | 1 | -1/+1 |
| * | rewrote lambdalifting; fixes deeply nested closures | Araq | 2014-06-26 | 1 | -1/+1 |
| * | Merge pull request #1075 from flaviut/inlinedocs | Andreas Rumpf | 2014-04-09 | 1 | -0/+1 |