]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 9d4a58b2d77c9e71e948c80c20d949db607effaf
authorjcar <devnull@localhost>
Wed, 19 Oct 2011 11:05:08 +0000 (13:05 +0200)
committerjcar <devnull@localhost>
Wed, 19 Oct 2011 11:05:08 +0000 (13:05 +0200)

Trivial merge