]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge remote branch 'origin/rbe/fix-resource-manager-thread-safe' into V7_5_BR
authorvsr <vsr@opencascade.com>
Mon, 12 Jan 2015 09:45:44 +0000 (12:45 +0300)
committervsr <vsr@opencascade.com>
Mon, 12 Jan 2015 09:45:44 +0000 (12:45 +0300)

Trivial merge