From 93264aaa74640a425776681dd60979d5d9d4f2aa Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Tue, 3 Nov 2009 09:55:15 +0000 Subject: [PATCH] finds usefull operators now -- GitLab