]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 5b6f852bb39f44f667a0d0ca0b1be259cc2c3a15
authorhebe <devnull@localhost>
Fri, 12 Oct 2012 06:06:40 +0000 (08:06 +0200)
committerhebe <devnull@localhost>
Fri, 12 Oct 2012 06:06:40 +0000 (08:06 +0200)

Trivial merge