]> rtime.felk.cvut.cz Git - orte.git/commitdiff
Merge branch 'master' of ssh://git@rtime.felk.cvut.cz/orte into android
authorMartin Vajnar <martin.vajnar@gmail.com>
Thu, 12 Sep 2013 15:55:46 +0000 (17:55 +0200)
committerMartin Vajnar <martin.vajnar@gmail.com>
Thu, 12 Sep 2013 15:55:46 +0000 (17:55 +0200)
1  2 
orte/manager/ortemanager.c

Simple merge