Simplify
commit73e61939c31c52c2b039b88c99bffa24e31336fa
authormalc <moosotc@gmail.com>
Sun, 6 Sep 2015 01:12:32 +0000 (6 04:12 +0300)
committermalc <moosotc@gmail.com>
Sun, 6 Sep 2015 01:12:32 +0000 (6 04:12 +0300)
tree692ea44412c79258d21bdfb808ed44e7a752b01c
parent615f7ffff191811a3bcb3fb7ce9b3856020b4ca1
Simplify
config.ml