Usability tweak
commit9ff232974229961a34f451ac562891f4236bb1b6
authormalc <av1474@comtv.ru>
Fri, 27 Jan 2012 18:45:03 +0000 (27 22:45 +0400)
committermalc <av1474@comtv.ru>
Fri, 27 Jan 2012 18:45:03 +0000 (27 22:45 +0400)
treefebe463690877e8087468605bee11c67af3f178a
parentc8de444b0fb2b67d7d8bc16599ab6fb3cbff8ff8
Usability tweak
main.ml