Revision a262990526faf620021a7d791d45865b602fb757

Committed on 14/12/2012 2:50 am by robert <[email protected]> [GitHub Diff]

- menu renamed and operators updated