]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merged heads
authortojo <devnull@localhost>
Tue, 28 Jun 2011 16:26:33 +0000 (18:26 +0200)
committertojo <devnull@localhost>
Tue, 28 Jun 2011 16:26:33 +0000 (18:26 +0200)

Trivial merge