]> rtime.felk.cvut.cz Git - arc.git/commitdiff
Merge with 86fb3a6cd4e403d7c722c2da37679c76636459b2
authorjohn <devnull@localhost>
Fri, 11 May 2012 09:34:54 +0000 (11:34 +0200)
committerjohn <devnull@localhost>
Fri, 11 May 2012 09:34:54 +0000 (11:34 +0200)

Trivial merge