Revision e0dea91a
ID | e0dea91a46de370661ceeebd29d0c0f60ac3c04b |
Child | 19c34f1c |
Added setting for predefined flavors in UI, Refs #815
Files
- added
- modified
- copied
- renamed
- deleted
ID | e0dea91a46de370661ceeebd29d0c0f60ac3c04b |
Child | 19c34f1c |
Added by Kostas Papadimitriou over 12 years ago
Added setting for predefined flavors in UI, Refs #815