From 0a9d458f9a2b244c407108c1cfaedbbd54585930 Mon Sep 17 00:00:00 2001
From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de>
Date: Thu, 17 Jun 2010 17:35:19 +0000
Subject: [PATCH] Operators now get deleted when empty

-- 
GitLab