]> OCCT Git - occt.git/commit
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)
commit570e4767e6f1aff0ce916e3ec50acde71baebf1e
treefabb3b021ffd6f0587029750ca3ae1d0eb5132a7
parent5c3adda3e9db2de2f834e17c0f9ff52908018357
parent057dcfddf77c75cfad6a05e7f7be57d17db01e86
Merge branch 'master' into CR28720