]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge in fix for tiny example.
authormaek <devnull@localhost>
Wed, 1 Dec 2010 15:16:48 +0000 (16:16 +0100)
committermaek <devnull@localhost>
Wed, 1 Dec 2010 15:16:48 +0000 (16:16 +0100)

Trivial merge