]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 9c06ecc1696deb0ec54770199cfc52b0435169ea
authorhebe <devnull@localhost>
Fri, 12 Oct 2012 13:27:18 +0000 (15:27 +0200)
committerhebe <devnull@localhost>
Fri, 12 Oct 2012 13:27:18 +0000 (15:27 +0200)

Trivial merge