Revision 3374d08bb99506359596849d6c8dd8610962b6fe

Committed on 07/04/2012 8:22 am by Frank <fneff89@gmail.com> [GitHub Diff]

Oops i trashed the operators. Actual state commit.