« Previous | Next » 

Revision aedcb7f3

IDaedcb7f3d6d277262ee83cf222c433b990e6b8a7

Added by Kostas Papadimitriou over 10 years ago

ui: Properly set snapshot OS attribute

if not already set

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences