Revision 27e5a70d
Even prettier pretty printing. Is it even possible to improve?
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 27e5a70df91d180043b338d9533689bd99a17507 |
| Parent | 93119c3f |
| Child | 69c96b6c |
Added by Pierre-Loïc Garoche about 3 years ago
Even prettier pretty printing. Is it even possible to improve?