Make it less chatty when hovering over
commitd4fd91f0b4119213f051d03bdbf278d94d1c7162
authormalc <av1474@comtv.ru>
Tue, 27 Jul 2010 18:02:51 +0000 (27 22:02 +0400)
committermalc <av1474@comtv.ru>
Tue, 27 Jul 2010 18:02:51 +0000 (27 22:02 +0400)
tree5a45cf98f3882c1546cbd484523a9999739d4037
parent0e4f732c78bc55d74db13281d2c510be5db6fa35
Make it less chatty when hovering over
main.ml