| commit | b9e768fae8c8c265d28b44ee2110ae748aaa23b9 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Mar 28 14:05:11 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Mar 28 14:05:11 2017 +0200 |
| tree | 5d7d8f94e905f83e6efef9e4d3b0e0f941ecc4b7 | |
| parent | 082aa109ef4522c507fcb0a6f6ceedf656e7e8ef [diff] | |
| parent | 2530a1ac94052c251c35b8fce082b07b0a3452cd [diff] |
Merge pull request #205 from cgeoffroy/pr/avoid_bash_subshell Removing subshell for compatibility with Jenkins