| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | nimpretty: next steps | Araq | 2018-04-18 | 1 | -2/+2 |
| * | some progress on the nimpretty tool; still not ready | Araq | 2017-10-16 | 1 | -2/+3 |
| * | beginnings of the new nimpretty tool; still unusable | Andreas Rumpf | 2017-10-05 | 1 | -0/+67 |