From: Andre Noll Date: Fri, 20 Jul 2012 14:05:41 +0000 (+0200) Subject: Merge branch 't/exec_cleanups' X-Git-Tag: v0.1.5~15 X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=51ac947011498645efe9e52687457b2ab73aeac2;p=dss.git Merge branch 't/exec_cleanups' 06a23c Simplify exec functions. Was cooking quite long and no problems showed up. --- 51ac947011498645efe9e52687457b2ab73aeac2