Remove stale/unused type
commit78ca21da18d5e1ea46a2bbef6ca46114c4c33aaf
authormalc <moosotc@gmail.com>
Thu, 28 Mar 2019 14:13:55 +0000 (28 17:13 +0300)
committermalc <moosotc@gmail.com>
Thu, 28 Mar 2019 14:13:55 +0000 (28 17:13 +0300)
treecea381baf4e86f75a603c5e561a36b9ffda6cdc8
parent157d29c6913c8b482cb0b7c107e62e4a90de803e
Remove stale/unused type
config.ml