]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 7f542b7a0232af89fe31fd7f7596e42b09725022
authorhebe <devnull@localhost>
Wed, 12 Sep 2012 06:25:35 +0000 (08:25 +0200)
committerhebe <devnull@localhost>
Wed, 12 Sep 2012 06:25:35 +0000 (08:25 +0200)

Trivial merge