]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with fba5da4d18143756e900cf52ace5eac7de1eedb6
authorhebe <devnull@localhost>
Mon, 1 Oct 2012 08:04:34 +0000 (10:04 +0200)
committerhebe <devnull@localhost>
Mon, 1 Oct 2012 08:04:34 +0000 (10:04 +0200)

Trivial merge