Another fullsplit tweak
commit9688be54fb12f97928ac6b019486407b6fcdd035
authormalc <av1474@comtv.ru>
Fri, 6 Apr 2012 12:07:37 +0000 (6 16:07 +0400)
committermalc <av1474@comtv.ru>
Fri, 6 Apr 2012 12:07:37 +0000 (6 16:07 +0400)
tree729d271db53a2276a69ac94fddc8124bf67f50d6
parent4552b3c528424ec19945537d8789b76d48b1b424
Another fullsplit tweak
main.ml