Usability tweak
commitab6bf0e0ad085436c7651edf13e936489c8d1dbc
authormalc <av1474@comtv.ru>
Sun, 29 Jan 2012 15:16:38 +0000 (29 19:16 +0400)
committermalc <av1474@comtv.ru>
Sun, 29 Jan 2012 15:16:38 +0000 (29 19:16 +0400)
tree940b3bce1b870ee490c403c1728fbfadfb3ef1e7
parent999daa974ff147483f1a3ffd54f995edf7f6351d
Usability tweak
main.ml