Workaround for -pp
commit69950c4882965cf04884f2a7626f82c7f8ea8223
authormalc <av1474@comtv.ru>
Thu, 31 Jul 2014 22:31:32 +0000 (1 02:31 +0400)
committermalc <av1474@comtv.ru>
Thu, 31 Jul 2014 22:31:32 +0000 (1 02:31 +0400)
tree11ddb3d3bbdd199791fc60d3d46bdf06df3cad0b
parent0e953d195e594d4f86668b0e05e0adf18b9f48ea
Workaround for -pp
doocaml