]> rtime.felk.cvut.cz Git - orte.git/search
JORTE: add new constructor to Manager class