From 66539ed572cc8076d31995a10639da458f05628f Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Tue, 1 Dec 2009 17:32:22 +0000 Subject: [PATCH] Binary operations missed -- GitLab