summaryrefslogtreecommitdiff
path: root/src/CSGTermEvaluator.cc
AgeCommit message (Expand)Author
2011-07-30Merge branch 'master' into visitorMarius Kintel
contact: Jan Huwald // Impressum