From 7a2d7a97d78b99b0ae12ea5390feaff07c44b759 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Wed, 10 Mar 2010 15:06:53 +0000
Subject: [PATCH] added auxFeSpace usage to cppOperatorterms

-- 
GitLab