]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 885e1e87dc08622f784cf574fe2b0503faa3c86b
authorjcar <devnull@localhost>
Wed, 21 Dec 2011 13:38:18 +0000 (14:38 +0100)
committerjcar <devnull@localhost>
Wed, 21 Dec 2011 13:38:18 +0000 (14:38 +0100)

Trivial merge