]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge between joek and mahi heads.
authormaek <devnull@localhost>
Thu, 2 Dec 2010 06:33:04 +0000 (07:33 +0100)
committermaek <devnull@localhost>
Thu, 2 Dec 2010 06:33:04 +0000 (07:33 +0100)

Trivial merge