Merge pull request #205 from cgeoffroy/pr/avoid_bash_subshell
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 28 Mar 2017 12:05:11 +0000 (14:05 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 28 Mar 2017 12:05:11 +0000 (14:05 +0200)
commitb9e768fae8c8c265d28b44ee2110ae748aaa23b9
tree5d7d8f94e905f83e6efef9e4d3b0e0f941ecc4b7
parent082aa109ef4522c507fcb0a6f6ceedf656e7e8ef
parent2530a1ac94052c251c35b8fce082b07b0a3452cd
Merge pull request #205 from cgeoffroy/pr/avoid_bash_subshell

Removing subshell for compatibility with Jenkins