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

Trivial merge
Open CASCADE Technology repository