]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge branch 'master' into omu/SalomeLauncher
authorOvidiu Mircescu <ovidiu.mircescu@edf.fr>
Tue, 9 Dec 2014 16:21:10 +0000 (17:21 +0100)
committerOvidiu Mircescu <ovidiu.mircescu@edf.fr>
Tue, 9 Dec 2014 16:21:10 +0000 (17:21 +0100)

Trivial merge