« Previous | Next » 

Revision 986bcfe4

ID986bcfe487f2d6e3e5b267fb8f55577181a3a346

Added by Kostas Papadimitriou over 10 years ago

ui: Minor error overlay fixes

set missing overlay titles

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences