]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merged in from ticket-97
authortojo <tobias.johansson@arccore.com>
Tue, 10 Aug 2010 11:08:39 +0000 (13:08 +0200)
committertojo <tobias.johansson@arccore.com>
Tue, 10 Aug 2010 11:08:39 +0000 (13:08 +0200)

Trivial merge