]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 07e2d7ea1cdac202220b9931e39489907f57002a
authorjcar <devnull@localhost>
Tue, 28 Jun 2011 13:46:19 +0000 (15:46 +0200)
committerjcar <devnull@localhost>
Tue, 28 Jun 2011 13:46:19 +0000 (15:46 +0200)

Trivial merge