Fix nogeomcmds
commitd63ea5f2be1ec739e93fc3d8b0ef00ee61d41fe9
authormalc <av1474@comtv.ru>
Sun, 26 Feb 2012 09:41:53 +0000 (26 13:41 +0400)
committermalc <av1474@comtv.ru>
Sun, 26 Feb 2012 09:41:53 +0000 (26 13:41 +0400)
treeab633084be3d57d4922ac7f439b2f71eb3213f7c
parent9af978a1a87dff3b241d39e06a3c801228f92152
Fix nogeomcmds
main.ml