]> rtime.felk.cvut.cz Git - arc.git/commit
Merge with 158ea1a054cbbb2560dbe8ac61395eb9aed2ed8e
authorjohn <devnull@localhost>
Mon, 8 Oct 2012 15:48:35 +0000 (17:48 +0200)
committerjohn <devnull@localhost>
Mon, 8 Oct 2012 15:48:35 +0000 (17:48 +0200)
commitdf11242994327a1a2ed0c49ca26b40b8ea800f97
tree13c9529b925766828a7b0b8715b3c9a48b4f8d3d
parent824ea4d9c194c1cf3276ddee6deabd99a736d922
parentfc15101cfdf792af9fd5558121e92a8ae174ff01
Merge with 158ea1a054cbbb2560dbe8ac61395eb9aed2ed8e
(re #1598).