]> OCCT Git - occt-copy.git/commitdiff
Merge branch 'master' of ssh://git.dev.opencascade.org/occt into CR24285 CR24185_1
authorazv <artem.zhidkov@opencascade.com>
Thu, 31 Oct 2013 10:34:26 +0000 (14:34 +0400)
committerazv <artem.zhidkov@opencascade.com>
Thu, 31 Oct 2013 10:34:26 +0000 (14:34 +0400)

Trivial merge