tree 5d7d8f94e905f83e6efef9e4d3b0e0f941ecc4b7
parent 082aa109ef4522c507fcb0a6f6ceedf656e7e8ef
parent 2530a1ac94052c251c35b8fce082b07b0a3452cd
author peusterm <manuel.peuster@uni-paderborn.de> 1490702711 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1490702711 +0200

Merge pull request #205 from cgeoffroy/pr/avoid_bash_subshell

Removing subshell for compatibility with Jenkins