Better origin handling (remote jumps)
commit04959c7119691d299d1ebe5bad0adaea0e402f62
authormalc <av1474@comtv.ru>
Fri, 22 Mar 2013 18:52:34 +0000 (22 22:52 +0400)
committermalc <av1474@comtv.ru>
Fri, 22 Mar 2013 18:52:34 +0000 (22 22:52 +0400)
tree8e853abc29fcbc3bcf78d5be17ef258bac31f8ff
parent4f2367f1bda0113420d74e58c2e7947a136eb32e
Better origin handling (remote jumps)
main.ml