repo : $PROJECTS.projects.salome.git_info.default_git_server + "restricted.git"
repo_dev : $PROJECTS.projects.salome.git_info.default_git_server_dev + "restricted.git"
}
repo : $PROJECTS.projects.salome.git_info.default_git_server + "restricted.git"
repo_dev : $PROJECTS.projects.salome.git_info.default_git_server_dev + "restricted.git"
}