From: Michal Sojka Date: Mon, 12 Nov 2018 11:20:24 +0000 (+0100) Subject: Merge branch 'shape_android_features' of https://github.com/Vajnar/orte X-Git-Url: https://rtime.felk.cvut.cz/gitweb/orte.git/commitdiff_plain/ab4df9d834af0d7e663796dace242fb9bf303570 Merge branch 'shape_android_features' of https://github.com/Vajnar/orte --- ab4df9d834af0d7e663796dace242fb9bf303570