Handle NoSymbol when shifted
commit2dbc7ca222978b23004e3b6e65e2cdbed5551192
authormalc <av1474@comtv.ru>
Wed, 22 Feb 2012 17:03:44 +0000 (22 21:03 +0400)
committermalc <av1474@comtv.ru>
Wed, 22 Feb 2012 17:03:44 +0000 (22 21:03 +0400)
treec5bedcf44f4338e5c8e9b6367af9236ce339da98
parent4ad30baa9cf745aeb6dd4f711bd478b178e88dcd
Handle NoSymbol when shifted
wsi.ml