Aoid needless work
commit6ddf2f26c1bab2dcd7974b4a48fa760f717fe9a2
authormalc <moosotc@gmail.com>
Mon, 31 Aug 2015 10:46:50 +0000 (31 13:46 +0300)
committermalc <moosotc@gmail.com>
Mon, 31 Aug 2015 10:46:50 +0000 (31 13:46 +0300)
tree4f16ef4c5c0295f022640f28c51f844463ca07d9
parent3477977b42817c644bc4fca32528d74c155359f9
Aoid needless work
config.ml