repo : $PROJECTS.projects.salome.git_info.default_git_server + "tools/configuration.git"
repo_dev : $PROJECTS.projects.salome.git_info.default_git_server_dev + "configuration.git"
}
repo : $PROJECTS.projects.salome.git_info.default_git_server + "tools/configuration.git"
repo_dev : $PROJECTS.projects.salome.git_info.default_git_server_dev + "configuration.git"
}