From: Michal Sojka Date: Wed, 10 Jun 2015 22:20:42 +0000 (+0200) Subject: Merge branch 'master' of https://github.com/Vajnar/orte X-Git-Url: http://rtime.felk.cvut.cz/gitweb/orte.git/commitdiff_plain/123c8c321489e0d0528603d397ca552641dec89b Merge branch 'master' of https://github.com/Vajnar/orte --- 123c8c321489e0d0528603d397ca552641dec89b