| commit | 5b6f13cd51ead3eb99b2c4160ca3236f4884d95a | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 12 16:23:01 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 12 16:23:01 2017 +0200 |
| tree | 6b57833bca562d998eeeb75f1db4467b02c3eab0 | |
| parent | ee5179f161d10b35a8a73f495ca3692fda9b2e71 [diff] | |
| parent | 7bb91b109ffc36026d55cdd67943ec01808f0c24 [diff] |
Merge pull request #213 from cgeoffroy/pr/minimize_cli Remove most of the active waits on the cli logs