0022678: Bad result of the Cut operation.
authorPKV <>
Thu, 8 Sep 2011 14:56:19 +0000 (14:56 +0000)
committerbugmaster <bugmaster@opencascade.com>
Mon, 5 Mar 2012 15:30:05 +0000 (19:30 +0400)
commit9e9df9d90e28fae0f53bbb90207c327be5dad254
tree02e1e48204b3df41cc740da22177cb8040e57bd8
parentc5c3447332260e84592648f5f67fcbd76ecfd41b
0022678: Bad result of the Cut operation.
src/BOPTools/BOPTools_PaveFiller_3.cxx
src/IntTools/IntTools_FaceFace.cxx