]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with b1c3c9d1b36073daa4fda91cc9f974497b44d93c
authorjcar <devnull@localhost>
Tue, 9 Oct 2012 16:27:16 +0000 (18:27 +0200)
committerjcar <devnull@localhost>
Tue, 9 Oct 2012 16:27:16 +0000 (18:27 +0200)

Trivial merge