« Previous | Next » 

Revision eda4d8d0

IDeda4d8d00bad8cd0301e9a552cfae74afef1e0e9

Added by Kostas Papadimitriou about 7 years ago

ui: Match IP's pane/hover titles

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences