Revision e2e521d0
ID | e2e521d07eeefc7caeb36c3f1aa2ba336705b276 |
Parent | c7b46d59 |
Child | 222f2dd5 |
Small cleanup for error formatting
Reviewed-by: ultrotter
Files
- added
- modified
- copied
- renamed
- deleted
ID | e2e521d07eeefc7caeb36c3f1aa2ba336705b276 |
Parent | c7b46d59 |
Child | 222f2dd5 |
Added by Iustin Pop over 16 years ago
Small cleanup for error formatting
Reviewed-by: ultrotter