]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 04cc5d832115c7fec6455ae9143453fe0340cb8f
authorjoek <devnull@localhost>
Thu, 13 Sep 2012 13:04:43 +0000 (15:04 +0200)
committerjoek <devnull@localhost>
Thu, 13 Sep 2012 13:04:43 +0000 (15:04 +0200)

Trivial merge