]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with e1033f27ecde73fd6a85c9f9d376559ba520739a
authorjcar <devnull@localhost>
Fri, 12 Oct 2012 12:57:45 +0000 (14:57 +0200)
committerjcar <devnull@localhost>
Fri, 12 Oct 2012 12:57:45 +0000 (14:57 +0200)

Trivial merge