]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 224fd456bbd275e5c2666f008c2fccca241a38f5
authorhebe <devnull@localhost>
Fri, 14 Sep 2012 16:38:39 +0000 (18:38 +0200)
committerhebe <devnull@localhost>
Fri, 14 Sep 2012 16:38:39 +0000 (18:38 +0200)

Trivial merge