Up-to-date gc handling
commit75eb1bbabc3ce674ba133ca8bcfe808ead5a1165
authormalc <moosotc@gmail.com>
Fri, 3 Feb 2017 19:14:24 +0000 (3 22:14 +0300)
committermalc <moosotc@gmail.com>
Fri, 3 Feb 2017 19:14:24 +0000 (3 22:14 +0300)
tree1ec7c5d3ce5def367e1f4c14bc24e3c65f2f570b
parent1ef1cdc42b42b72037b9f18cd82157a7f4531f8d
Up-to-date gc handling
main.ml