]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 68bef155a9541123c30edc8b149f12a809bbee79
authornier <devnull@localhost>
Mon, 16 Apr 2012 13:51:55 +0000 (15:51 +0200)
committernier <devnull@localhost>
Mon, 16 Apr 2012 13:51:55 +0000 (15:51 +0200)

Trivial merge