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 over 3 years ago
Even prettier pretty printing. Is it even possible to improve?