]> OCCT Git - occt.git/commitdiff
projects / occt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: acaaf4f 057dcfd)
Merge branch 'master' into CR32857_use_trim_surface CR32857_use_trim_surface
authornmanchen <nmanchen@opencascade.com>
Fri, 2 Dec 2022 02:38:49 +0000 (05:38 +0300)
committernmanchen <nmanchen@opencascade.com>
Fri, 2 Dec 2022 02:38:49 +0000 (05:38 +0300)

Trivial merge
Open CASCADE Technology repository