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.tuebingen.mpg.de/?p=dss.git;a=commitdiff_plain;h=51ac947011498645efe9e52687457b2ab73aeac2 Merge branch 't/exec_cleanups' 06a23c Simplify exec functions. Was cooking quite long and no problems showed up. --- 51ac947011498645efe9e52687457b2ab73aeac2