More cosmetics
commit49ce0ef1f3aae2588088695b048686420b9a5cdd
authormalc <moosotc@gmail.com>
Thu, 6 Aug 2015 16:26:58 +0000 (6 19:26 +0300)
committermalc <moosotc@gmail.com>
Thu, 6 Aug 2015 16:27:06 +0000 (6 19:27 +0300)
treed36c94297351f16cfe371880ea10f53465d19296
parente34801314a724ffcf312b6112c82858c88ce32f1
More cosmetics
config.ml
main.ml