]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge branch 'omu/noserver'
authorOvidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Thu, 15 Jul 2021 10:36:48 +0000 (12:36 +0200)
committerOvidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Thu, 15 Jul 2021 10:36:48 +0000 (12:36 +0200)

Trivial merge