]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with b35dcc032a1ad3b5d27487fabaf06c920512fb64
authorjcar <devnull@localhost>
Wed, 12 Sep 2012 07:53:32 +0000 (09:53 +0200)
committerjcar <devnull@localhost>
Wed, 12 Sep 2012 07:53:32 +0000 (09:53 +0200)

Trivial merge