« Previous | Next » 

Revision a40fac79

IDa40fac79438518387fd9e9f06e172efd3b9546d5

Added by Kostas Papadimitriou over 10 years ago

ui: Visibility improvements

truncate long image names

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences