diff --git a/lhcbnightlyconf/Patches.py b/lhcbnightlyconf/Patches.py index 7682301ba25f34fbbab8b4c84080f050b1b88abb..b8fdd2ef01597c93072f1ea2ac9aa1ec48ec96e4 100644 --- a/lhcbnightlyconf/Patches.py +++ b/lhcbnightlyconf/Patches.py @@ -87,6 +87,7 @@ SPECIAL_VERSIONS = { "LCG": LCG_DEFAULT_VERSION, "Gaudi": DEFAULT_GAUDI_VERSION, "Online": "master", + "DaVinci": "master", } }