Rework gc-ing
commit9a434e0a62d85960e1b42f33adffe21753b147cf
authormalc <moosotc@gmail.com>
Thu, 10 Sep 2015 20:30:39 +0000 (10 23:30 +0300)
committermalc <moosotc@gmail.com>
Thu, 10 Sep 2015 20:31:49 +0000 (10 23:31 +0300)
tree428f26d172b8f904cf857560628063aab2c2dfdc
parent2a15a45442ee718abd929eba5c1f760e5acdc6c2
Rework gc-ing
config.ml
main.ml
misc/gc.py