« Previous | Next » 

Revision e0dea91a

IDe0dea91a46de370661ceeebd29d0c0f60ac3c04b
Child 19c34f1c

Added by Kostas Papadimitriou over 12 years ago

Added setting for predefined flavors in UI, Refs #815

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences