« Previous | Next » 

Revision e2e521d0

IDe2e521d07eeefc7caeb36c3f1aa2ba336705b276
Parent c7b46d59
Child 222f2dd5

Added by Iustin Pop almost 15 years ago

Small cleanup for error formatting

Reviewed-by: ultrotter

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences