]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge Ticket1358 into master
authornier <devnull@localhost>
Mon, 7 May 2012 12:43:09 +0000 (14:43 +0200)
committernier <devnull@localhost>
Mon, 7 May 2012 12:43:09 +0000 (14:43 +0200)

Trivial merge