« Previous | Next » 

Revision b47d18ad

IDb47d18ad2b26c14768924b01493b4f41e5f805b0

Added by Kostas Papadimitriou over 10 years ago

ui: Avoid double escaping of image name

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences