Better message
commit3331f12ac99a4325cf54d85ebd86755afc6b8f41
authormalc <moosotc@gmail.com>
Sun, 8 Apr 2018 11:40:01 +0000 (8 14:40 +0300)
committermalc <moosotc@gmail.com>
Sun, 8 Apr 2018 11:40:01 +0000 (8 14:40 +0300)
tree649f49ee8b5f792ad40941bf3bda3d33f5ecbcc6
parent281c37ee3388897e43ccb2b24f1437bdb9f87221
Better message
config.ml