No need to _-ide it
commit656348919a4271744c0cd34014e9b144fadea863
authormalc <moosotc@gmail.com>
Sun, 20 May 2018 07:48:50 +0000 (20 10:48 +0300)
committermalc <moosotc@gmail.com>
Sun, 20 May 2018 07:48:50 +0000 (20 10:48 +0300)
treefdb11caaa59bee24d4b22d00d8a54a933f0c1d73
parent4ec30730bfd1cf18ddf9878475ed145b434f37f4
No need to _-ide it
config.ml