Avoid extra work
commit4d13c1dfd3d6f37893d2a7b0479202c47cf0f55c
authormalc <av1474@comtv.ru>
Thu, 19 Jul 2012 05:15:32 +0000 (19 09:15 +0400)
committermalc <av1474@comtv.ru>
Thu, 19 Jul 2012 05:15:32 +0000 (19 09:15 +0400)
tree0e6107eee69d2231536756db74b01fb1bb473f19
parent00273e34296d075446831a5e65e919f2ef1fbe38
Avoid extra work
wsi.ml