]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Merge branch 't/exec_cleanups'
authorAndre Noll <maan@systemlinux.org>
Fri, 20 Jul 2012 14:05:41 +0000 (16:05 +0200)
committerAndre Noll <maan@systemlinux.org>
Fri, 20 Jul 2012 14:05:41 +0000 (16:05 +0200)
06a23c Simplify exec functions.

Was cooking quite long and no problems showed up.


Trivial merge