From 05b84402099b03b1e3950ea1f8ec051ddc0ea823 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Fri, 19 Feb 2010 12:28:17 +0000
Subject: [PATCH] Operator usage part I

-- 
GitLab