]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with diab-ticket1118
authormahi <devnull@localhost>
Fri, 30 Dec 2011 14:13:19 +0000 (15:13 +0100)
committermahi <devnull@localhost>
Fri, 30 Dec 2011 14:13:19 +0000 (15:13 +0100)

Trivial merge