]> OCCT Git - occt-copy.git/commitdiff
Merge branch 'master' of ssh://git.dev.opencascade.org/occt into CR24238
authorazv <artem.zhidkov@opencascade.com>
Fri, 18 Oct 2013 06:43:21 +0000 (10:43 +0400)
committerazv <artem.zhidkov@opencascade.com>
Fri, 18 Oct 2013 06:43:21 +0000 (10:43 +0400)

Trivial merge