Avoid excessive digesting
commit32ca41bf6a8d8df33ad0be42690ef717be07675b
authormalc <moosotc@gmail.com>
Mon, 23 Apr 2018 04:50:01 +0000 (23 07:50 +0300)
committermalc <moosotc@gmail.com>
Mon, 23 Apr 2018 04:50:01 +0000 (23 07:50 +0300)
tree6459acc83ac462814cb5167a145207c9c50e506c
parent03f8d3237392164acd95c0ef4d3d2fab56dba6c8
Avoid excessive digesting
config.ml
main.ml