Revision 1d060f105b7f4a9291b203484613e2f09cc4bad6

Committed on 10/10/2013 6:59 am by xrow <bjoern@xrow.de> [GitHub Diff]

added case for namedoperator is a node