]> rtime.felk.cvut.cz Git - orte.git/commitdiff
projects / orte.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 459f7d0)
ROBOT_DEMO: add check boxes to menu items and make the managers dialog alive
authorMartin Vajnar <martin.vajnar@gmail.com>
Tue, 27 Aug 2013 12:42:50 +0000 (14:42 +0200)
committerPavel Pisa <pisa@cmp.felk.cvut.cz>
Mon, 23 Sep 2013 09:06:28 +0000 (11:06 +0200)

No differences found
Mirror of ORTE from Git on SourceForge. ORTE is open-source implementation of real-time publish-subscribe protocol.