occt: master 9e9df9d9

Author Committer Branch Timestamp Parent
pkv bugmaster master 2011-09-08 14:56:19 master c5c34473
Changeset 0022678: Bad result of the Cut operation.
mod - src/BOPTools/BOPTools_PaveFiller_3.cxx Diff File
mod - src/IntTools/IntTools_FaceFace.cxx Diff File