]> rtime.felk.cvut.cz Git - orte.git/tree - orte/manager/rc/
Merge branch 'master' of ssh://git@rtime.felk.cvut.cz/orte into android
[orte.git] / orte / manager / rc /
drwxr-xr-x   ..
-rwxr-xr-x 628 ortemanagerd