]> OCCT Git - occt-copy.git/commitdiff
Merge remote-tracking branch 'remotes/origin/CR28256' into CR0-710-CRFRM
authorifv <ifv@opencascade.com>
Thu, 16 Mar 2017 08:05:45 +0000 (11:05 +0300)
committerifv <ifv@opencascade.com>
Thu, 16 Mar 2017 08:05:45 +0000 (11:05 +0300)

Trivial merge