Quicksearch improvement
commitd2223ed0103117e756cbedd271df8b3b38a834e7
authormalc <av1474@comtv.ru>
Wed, 23 Jun 2010 16:25:56 +0000 (23 20:25 +0400)
committermalc <av1474@comtv.ru>
Wed, 23 Jun 2010 16:25:56 +0000 (23 20:25 +0400)
tree99d8fd22ddd5c6cb0a7ccf3082dd0e23ee197356
parent82a2cc3b39199326bd5d3acc1ff5292da909aca3
Quicksearch improvement
main.ml