From b7c98d31665848e058d3d39d56aa0645571c7ef3 Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Wed, 4 Nov 2009 17:48:32 +0000 Subject: [PATCH] test for Operatordecider implemented -- GitLab