Further selection improvements
commitbe8ed73981e57d22a06fb85b6b44f9ff581aceeb
authormalc <av1474@comtv.ru>
Sun, 27 Oct 2013 23:43:28 +0000 (28 03:43 +0400)
committermalc <av1474@comtv.ru>
Sun, 27 Oct 2013 23:43:28 +0000 (28 03:43 +0400)
tree2e2f5a8ab8050a7bb058b028720d14ab50a3a229
parentd222f0fa4e5c59d0fc6d3f957b5a64b31c418081
Further selection improvements
main.ml