]> rtime.felk.cvut.cz Git - orte.git/commitdiff
JORTE: remove unused code
authorMartin Vajnar <martin.vajnar@gmail.com>
Sat, 20 Jul 2013 22:11:40 +0000 (00:11 +0200)
committerMartin Vajnar <martin.vajnar@gmail.com>
Sat, 20 Jul 2013 22:11:40 +0000 (00:11 +0200)

No differences found