From 306edc43c25a4a725c46408a8dabba130b3a3d0e Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Fri, 21 May 2010 08:14:10 +0000 Subject: [PATCH] extended operator setup -- GitLab